/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active terms N mark cons recip sqr N terms s N active sqr 0 mark 0 active sqr s X mark s add sqr X dbl X active dbl 0 mark 0 active dbl s X mark s s dbl X active add 0 X mark X active add s X Y mark s add X Y active first 0 X mark nil active first s X cons Y Z mark cons Y first X Z active terms X terms active X active cons X1 X2 cons active X1 X2 active recip X recip active X active sqr X sqr active X active s X s active X active add X1 X2 add active X1 X2 active add X1 X2 add X1 active X2 active dbl X dbl active X active first X1 X2 first active X1 X2 active first X1 X2 first X1 active X2 terms mark X mark terms X cons mark X1 X2 mark cons X1 X2 recip mark X mark recip X sqr mark X mark sqr X s mark X mark s X add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 dbl mark X mark dbl X first mark X1 X2 mark first X1 X2 first X1 mark X2 mark first X1 X2 proper terms X terms proper X proper cons X1 X2 cons proper X1 proper X2 proper recip X recip proper X proper sqr X sqr proper X proper s X s proper X proper 0 ok 0 proper add X1 X2 add proper X1 proper X2 proper dbl X dbl proper X proper first X1 X2 first proper X1 proper X2 proper nil ok nil terms ok X ok terms X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X sqr ok X ok sqr X s ok X ok s X add ok X1 ok X2 ok add X1 X2 dbl ok X ok dbl X first ok X1 ok X2 ok first X1 X2 top mark X top proper X top ok X top active X 2.2 first X1 mark X2 first X1 X2 active dbl s X s s dbl X active s X s active X add mark X1 X2 add X1 X2 active sqr s X add sqr X dbl X s ok X s X proper sqr X proper X proper sqr X sqr proper X active add s X Y s add X Y active terms N s N first mark X1 X2 first X1 X2 active dbl X active X active terms N sqr N recip mark X recip X active add X1 X2 active X1 active add X1 X2 add active X1 X2 add X1 mark X2 add X1 X2 proper add X1 X2 proper X2 active add s X Y add X Y proper dbl X dbl proper X proper add X1 X2 add proper X1 proper X2 proper recip X proper X active sqr s X sqr X active terms X active X dbl mark X dbl X proper first X1 X2 proper X2 top mark X top proper X proper first X1 X2 first proper X1 proper X2 active first X1 X2 active X2 active first X1 X2 first active X1 X2 active recip X recip active X active terms N recip sqr N add ok X1 ok X2 add X1 X2 active dbl s X dbl X active terms N cons recip sqr N terms s N proper first X1 X2 proper X1 proper terms X terms proper X active first X1 X2 first X1 active X2 terms ok X terms X cons mark X1 X2 cons X1 X2 active s X active X active dbl X dbl active X proper s X s proper X active recip X active X active cons X1 X2 active X1 proper dbl X proper X active terms X terms active X top mark X proper X active add X1 X2 active X2 top ok X top active X active terms N terms s N cons ok X1 ok X2 cons X1 X2 active dbl s X s dbl X active sqr s X s add sqr X dbl X proper cons X1 X2 proper X2 sqr mark X sqr X top ok X active X proper cons X1 X2 proper X1 proper add X1 X2 proper X1 active first s X cons Y Z cons Y first X Z proper terms X proper X active cons X1 X2 cons active X1 X2 active add X1 X2 add X1 active X2 proper cons X1 X2 cons proper X1 proper X2 active sqr s X dbl X terms mark X terms X s mark X s X active sqr X active X dbl ok X dbl X active first X1 X2 active X1 sqr ok X sqr X proper recip X recip proper X first ok X1 ok X2 first X1 X2 active sqr X sqr active X recip ok X recip X proper s X proper X active first s X cons Y Z first X Z true top mark X top proper X top ok X top active X true cons 2 2 recip 1 1 top 1 1 proper 1 1 ok 1 1 s 1 1 active 1 1 cons 2 1 s 1 2 1 recip 1 0 dbl 1 4 1 top 1 0 dbl 1 0 terms 1 0 sqr 1 0 0 0 5 first 2 0 1 2 nil 0 1 mark 1 2 1 first 2 6 2 1 proper 1 0 active 1 0 add 2 0 add 2 3 2 1 sqr 1 4 1 terms 1 5 1 s 1 1 0 recip 1 0 dbl 1 1 0 top 1 0 dbl 1 0 terms 1 0 sqr 1 0 0 0 0 first 2 1 0 2 0 0 nil 0 0 mark 1 1 0 first 2 1 0 2 0 0 proper 1 0 active 1 0 add 2 0 add 2 1 0 2 0 0 sqr 1 1 0 terms 1 1 0 top ok X top active X active first X1 X2 first active X1 X2 active dbl 0 mark 0 active add X1 X2 add active X1 X2 active first 0 X mark nil active terms N mark cons recip sqr N terms s N active sqr s X mark s add sqr X dbl X active add X1 X2 add X1 active X2 cons mark X1 X2 mark cons X1 X2 proper add X1 X2 add proper X1 proper X2 add X1 mark X2 mark add X1 X2 active first X1 X2 first X1 active X2 proper recip X recip proper X active dbl X dbl active X dbl mark X mark dbl X proper s X s proper X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X active dbl s X mark s s dbl X proper sqr X sqr proper X active terms X terms active X proper nil ok nil active add s X Y mark s add X Y terms mark X mark terms X add mark X1 X2 mark add X1 X2 proper terms X terms proper X active s X s active X proper cons X1 X2 cons proper X1 proper X2 active recip X recip active X add ok X1 ok X2 ok add X1 X2 sqr mark X mark sqr X s mark X mark s X active cons X1 X2 cons active X1 X2 active first s X cons Y Z mark cons Y first X Z active sqr X sqr active X terms ok X ok terms X active add 0 X mark X proper first X1 X2 first proper X1 proper X2 first ok X1 ok X2 ok first X1 X2 proper dbl X dbl proper X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X proper 0 ok 0 first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 top ok X top active X true cons 2 0 s 1 1 1 recip 1 1 9245 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 1 0 sqr 1 0 proper 1 1 13826 ok 1 1 13826 0 0 1 s 1 0 first 2 0 nil 0 43318 mark 1 0 first 2 1 0 proper 1 0 active 1 1 1 cons 2 2 57534 active 1 0 add 2 0 add 2 2 0 sqr 1 1 1 terms 1 1 1 active first X1 X2 first active X1 X2 active dbl 0 mark 0 active add X1 X2 add active X1 X2 active first 0 X mark nil active terms N mark cons recip sqr N terms s N active sqr s X mark s add sqr X dbl X active add X1 X2 add X1 active X2 cons mark X1 X2 mark cons X1 X2 proper add X1 X2 add proper X1 proper X2 add X1 mark X2 mark add X1 X2 active first X1 X2 first X1 active X2 proper recip X recip proper X active dbl X dbl active X dbl mark X mark dbl X proper s X s proper X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X active dbl s X mark s s dbl X proper sqr X sqr proper X active terms X terms active X proper nil ok nil active add s X Y mark s add X Y terms mark X mark terms X add mark X1 X2 mark add X1 X2 proper terms X terms proper X active s X s active X proper cons X1 X2 cons proper X1 proper X2 active recip X recip active X add ok X1 ok X2 ok add X1 X2 sqr mark X mark sqr X s mark X mark s X active cons X1 X2 cons active X1 X2 active first s X cons Y Z mark cons Y first X Z active sqr X sqr active X terms ok X ok terms X active add 0 X mark X proper first X1 X2 first proper X1 proper X2 first ok X1 ok X2 ok first X1 X2 proper dbl X dbl proper X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X proper 0 ok 0 first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 top ok X active X false top mark X proper X false proper s X proper X proper first X1 X2 proper X1 proper first X1 X2 proper X2 proper terms X proper X proper recip X proper X proper add X1 X2 proper X1 proper cons X1 X2 proper X1 proper add X1 X2 proper X2 proper cons X1 X2 proper X2 proper sqr X proper X proper dbl X proper X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 3965 0 0 13826 s 1 0 first 2 0 nil 0 12927 mark 1 1 0 first 2 1 2 1 proper 1 1 0 active 1 13826 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 2 1 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 proper add X1 X2 add proper X1 proper X2 add X1 mark X2 mark add X1 X2 proper recip X recip proper X dbl mark X mark dbl X proper s X s proper X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X proper sqr X sqr proper X proper nil ok nil terms mark X mark terms X add mark X1 X2 mark add X1 X2 proper terms X terms proper X proper cons X1 X2 cons proper X1 proper X2 add ok X1 ok X2 ok add X1 X2 sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X proper first X1 X2 first proper X1 proper X2 first ok X1 ok X2 ok first X1 X2 proper dbl X dbl proper X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X proper 0 ok 0 first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 proper dbl X dbl proper X false proper first X1 X2 first proper X1 proper X2 false proper cons X1 X2 cons proper X1 proper X2 false proper terms X terms proper X false proper sqr X sqr proper X false proper s X s proper X false proper recip X recip proper X false proper add X1 X2 add proper X1 proper X2 false active recip X active X active s X active X active first X1 X2 active X1 active sqr X active X active first X1 X2 active X2 active terms X active X active add X1 X2 active X1 active dbl X active X active add X1 X2 active X2 active cons X1 X2 active X1 true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 0 0 13826 s 1 0 first 2 0 nil 0 12927 mark 1 1 0 first 2 1 2 1 proper 1 0 active 1 13826 cons 2 1 2 1 active 1 1 0 add 2 0 add 2 1 2 1 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 proper add X1 X2 add proper X1 proper X2 add X1 mark X2 mark add X1 X2 proper recip X recip proper X dbl mark X mark dbl X proper s X s proper X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X proper sqr X sqr proper X proper nil ok nil terms mark X mark terms X add mark X1 X2 mark add X1 X2 proper terms X terms proper X proper cons X1 X2 cons proper X1 proper X2 add ok X1 ok X2 ok add X1 X2 sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X proper first X1 X2 first proper X1 proper X2 first ok X1 ok X2 ok first X1 X2 proper dbl X dbl proper X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X proper 0 ok 0 first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active sqr X sqr active X false active first s X cons Y Z cons Y first X Z false active first s X cons Y Z first X Z false active cons X1 X2 cons active X1 X2 false active recip X recip active X false active s X s active X false active add s X Y s add X Y false active add s X Y add X Y false active terms X terms active X false active dbl s X s s dbl X false active dbl s X s dbl X false active dbl s X dbl X false active dbl X dbl active X false active first X1 X2 first X1 active X2 false active add X1 X2 add X1 active X2 false active sqr s X s add sqr X dbl X false active sqr s X add sqr X dbl X false active sqr s X sqr X false active sqr s X dbl X false dbl ok X dbl X dbl mark X dbl X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 1 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 0 first 2 1 2 1 proper 1 0 active 1 5 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 2 0 sqr 1 1 1 terms 1 1 1 dbl mark X dbl X active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 add X1 mark X2 mark add X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X add mark X1 X2 mark add X1 X2 add ok X1 ok X2 ok add X1 X2 sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 dbl mark X dbl X true cons 2 0 s 1 1 14756 recip 1 1 8855 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 1 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 23613 proper 1 0 active 1 51949 cons 2 1 2 28335 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active terms N cons recip sqr N terms s N false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 1 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 1 proper 1 0 active 1 8 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 cons mark X1 X2 cons X1 X2 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 1 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 4 proper 1 0 active 1 6 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active terms N recip sqr N false recip ok X recip X recip mark X recip X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 0 ok 1 1 1 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 4 proper 1 0 active 1 6 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active terms N sqr N false sqr ok X sqr X sqr mark X sqr X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 1 0 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 1 proper 1 0 active 1 17214 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 17209 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active terms N terms s N false terms ok X terms X terms mark X terms X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 3 top 1 0 dbl 1 0 terms 1 1 0 top 1 0 sqr 1 0 proper 1 1 1 ok 1 1 4 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 4 proper 1 0 active 1 6 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active terms N s N false s mark X s X s ok X s X true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 1 ok 1 1 2 0 0 1 s 1 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 1 proper 1 0 active 1 6 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 active add X1 X2 add active X1 X2 false add ok X1 ok X2 add X1 X2 add X1 mark X2 add X1 X2 add mark X1 X2 add X1 X2 true cons 2 0 s 1 1 1 recip 1 1 1 recip 1 0 dbl 1 1 1 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 first 2 0 nil 0 0 mark 1 1 1 first 2 1 2 4 proper 1 0 active 1 6 cons 2 1 2 1 active 1 0 add 2 1 0 add 2 1 0 sqr 1 1 1 terms 1 1 1 add X1 mark X2 add X1 X2 active dbl 0 mark 0 active first 0 X mark nil cons mark X1 X2 mark cons X1 X2 dbl mark X mark dbl X recip mark X mark recip X first mark X1 X2 mark first X1 X2 s ok X ok s X terms mark X mark terms X sqr mark X mark sqr X s mark X mark s X terms ok X ok terms X first ok X1 ok X2 ok first X1 X2 cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X dbl ok X ok dbl X first X1 mark X2 mark first X1 X2 sqr ok X ok sqr X active sqr 0 mark 0 add X1 mark X2 add X1 X2 true cons 2 0 s 1 1 1 recip 1 1 23802 recip 1 0 dbl 1 1 2154 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 ok 1 1 1233 0 0 1870 s 1 0 first 2 0 nil 0 22003 mark 1 1 16777 first 2 2 1 proper 1 0 active 1 1 14622 cons 2 2 11204 active 1 0 add 2 2 0 add 2 2 221 sqr 1 1788 terms 1 1 18871 active first X1 X2 first active X1 X2 false first ok X1 ok X2 first X1 X2 first mark X1 X2 first X1 X2 first X1 mark X2 first X1 X2 true cons 2 0 s 1 1 23622 recip 1 1 57912 recip 1 0 dbl 1 1 29828 top 1 0 dbl 1 0 terms 1 0 top 1 0 sqr 1 0 proper 1 1 1 ok 1 1 2 0 0 11969 s 1 0 first 2 1 2 0 nil 0 32156 mark 1 1 60159 first 2 1 proper 1 0 active 1 1 16121 cons 2 1 2 48860 active 1 0 add 2 0 add 2 2 44037 sqr 1 1 1 terms 1 1 38224 cons mark X1 X2 mark cons X1 X2 recip mark X mark recip X sqr mark X mark sqr X cons ok X1 ok X2 ok cons X1 X2 recip ok X ok recip X sqr ok X ok sqr X NaTT certifiable-1.6