On head 2 : Lag error on Z3                                            67 9351mn
