active pairNs mark cons 0 incr oddNs active oddNs mark incr pairNs active incr cons X XS mark cons s X incr XS active take 0 XS mark nil active take s N cons X XS mark cons X take N XS active zip nil XS mark nil active zip X nil mark nil active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active tail cons X XS mark XS active repItems nil mark nil active repItems cons X XS mark cons X cons X repItems XS active cons X1 X2 cons active X1 X2 active incr X incr active X active s X s active X active take X1 X2 take active X1 X2 active take X1 X2 take X1 active X2 active zip X1 X2 zip active X1 X2 active zip X1 X2 zip X1 active X2 active pair X1 X2 pair active X1 X2 active pair X1 X2 pair X1 active X2 active tail X tail active X active repItems X repItems active X cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X s mark X mark s X take mark X1 X2 mark take X1 X2 take X1 mark X2 mark take X1 X2 zip mark X1 X2 mark zip X1 X2 zip X1 mark X2 mark zip X1 X2 pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 tail mark X mark tail X repItems mark X mark repItems X proper pairNs ok pairNs proper cons X1 X2 cons proper X1 proper X2 proper 0 ok 0 proper incr X incr proper X proper oddNs ok oddNs proper s X s proper X proper take X1 X2 take proper X1 proper X2 proper nil ok nil proper zip X1 X2 zip proper X1 proper X2 proper pair X1 X2 pair proper X1 proper X2 proper tail X tail proper X proper repItems X repItems proper X cons ok X1 ok X2 ok cons X1 X2 incr ok X ok incr X s ok X ok s X take ok X1 ok X2 ok take X1 X2 zip ok X1 ok X2 ok zip X1 X2 pair ok X1 ok X2 ok pair X1 X2 tail ok X ok tail X repItems ok X ok repItems X top mark X top proper X top ok X top active X 2.2 proper pair X1 X2 pair proper X1 proper X2 active pair X1 X2 active X2 incr mark X incr X pair X1 mark X2 pair X1 X2 active incr cons X XS s X repItems mark X repItems X active pair X1 X2 pair X1 active X2 s mark X s X active s X active X active zip cons X XS cons Y YS pair X Y active take s N cons X XS cons X take N XS active repItems X active X top mark X proper X active take s N cons X XS take N XS active take X1 X2 take active X1 X2 active zip cons X XS cons Y YS zip XS YS active pair X1 X2 pair active X1 X2 active tail X tail active X pair mark X1 X2 pair X1 X2 proper cons X1 X2 cons proper X1 proper X2 active pair X1 X2 active X1 active zip X1 X2 zip active X1 X2 active incr cons X XS incr XS take ok X1 ok X2 take X1 X2 zip mark X1 X2 zip X1 X2 proper incr X incr proper X cons ok X1 ok X2 cons X1 X2 proper zip X1 X2 proper X1 tail mark X tail X active take X1 X2 active X1 active incr X incr active X top mark X top proper X pair ok X1 ok X2 pair X1 X2 active zip X1 X2 zip X1 active X2 proper s X proper X active pairNs incr oddNs proper zip X1 X2 proper X2 proper repItems X repItems proper X active zip X1 X2 active X2 active zip X1 X2 active X1 proper incr X proper X active tail X active X cons mark X1 X2 cons X1 X2 active repItems X repItems active X proper tail X tail proper X active incr X active X proper take X1 X2 take proper X1 proper X2 proper cons X1 X2 proper X1 tail ok X tail X proper zip X1 X2 zip proper X1 proper X2 active take X1 X2 active X2 active cons X1 X2 cons active X1 X2 active zip cons X XS cons Y YS cons pair X Y zip XS YS zip X1 mark X2 zip X1 X2 proper s X s proper X active incr cons X XS cons s X incr XS active repItems cons X XS repItems XS proper take X1 X2 proper X2 active cons X1 X2 active X1 active repItems cons X XS cons X repItems XS take mark X1 X2 take X1 X2 s ok X s X proper repItems X proper X top ok X active X active take X1 X2 take X1 active X2 active repItems cons X XS cons X cons X repItems XS active pairNs cons 0 incr oddNs active s X s active X proper take X1 X2 proper X1 repItems ok X repItems X proper pair X1 X2 proper X1 zip ok X1 ok X2 zip X1 X2 active oddNs incr pairNs take X1 mark X2 take X1 X2 proper cons X1 X2 proper X2 incr ok X incr X proper pair X1 X2 proper X2 proper tail X proper X top ok X top active X true top ok X top active X top mark X top proper X true cons 2 2 top 1 1 zip 2 1 proper 1 1 ok 1 1 active 1 1 repItems 1 5 1 incr 1 2 1 s 1 4 1 take 2 0 2 1 take 2 2 2 1 top 1 0 pair 2 2 1 2 tail 1 1 1 0 0 3 s 1 0 nil 0 5 tail 1 0 mark 1 0 1 incr 1 0 pairNs 0 6 oddNs 0 7 proper 1 0 repItems 1 0 cons 2 2 1 active 1 0 pair 2 0 zip 2 5 1 2 repItems 1 1 1 incr 1 1 0 s 1 1 0 take 2 1 2 1 take 2 1 2 2 top 1 1 pair 2 1 2 1 tail 1 1 1 0 0 31122 s 1 1 nil 0 31123 tail 1 1 mark 1 1 0 incr 1 1 pairNs 0 31126 oddNs 0 31126 proper 1 1 repItems 1 1 cons 2 1 3 2 0 0 active 1 1 pair 2 2 1 zip 2 1 2 2 top ok X top active X active zip X1 X2 zip X1 active X2 zip ok X1 ok X2 ok zip X1 X2 active take 0 XS mark nil active take X1 X2 take active X1 X2 active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active pairNs mark cons 0 incr oddNs active incr cons X XS mark cons s X incr XS active take X1 X2 take X1 active X2 active tail X tail active X proper 0 ok 0 take mark X1 X2 mark take X1 X2 active pair X1 X2 pair active X1 X2 tail mark X mark tail X active zip X1 X2 zip active X1 X2 take X1 mark X2 mark take X1 X2 proper pairNs ok pairNs active repItems X repItems active X zip mark X1 X2 mark zip X1 X2 proper tail X tail proper X active take s N cons X XS mark cons X take N XS repItems mark X mark repItems X active repItems nil mark nil proper s X s proper X active zip X nil mark nil active pair X1 X2 pair X1 active X2 s mark X mark s X take ok X1 ok X2 ok take X1 X2 tail ok X ok tail X pair mark X1 X2 mark pair X1 X2 active s X s active X pair X1 mark X2 mark pair X1 X2 active cons X1 X2 cons active X1 X2 proper repItems X repItems proper X cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active repItems cons X XS mark cons X cons X repItems XS active tail cons X XS mark XS active incr X incr active X pair ok X1 ok X2 ok pair X1 X2 proper take X1 X2 take proper X1 proper X2 active zip nil XS mark nil proper oddNs ok oddNs s ok X ok s X repItems ok X ok repItems X incr ok X ok incr X proper incr X incr proper X proper nil ok nil proper zip X1 X2 zip proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 proper cons X1 X2 cons proper X1 proper X2 zip X1 mark X2 mark zip X1 X2 proper pair X1 X2 pair proper X1 proper X2 active oddNs mark incr pairNs top ok X top active X true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 436 take 2 0 take 2 2 1 top 1 0 pair 2 2 1 top 1 1 0 zip 2 0 tail 1 1 1 proper 1 1 2 ok 1 1 2 0 0 1 s 1 0 nil 0 12644 tail 1 0 mark 1 0 incr 1 0 pairNs 0 38803 oddNs 0 59342 proper 1 0 repItems 1 0 active 1 1 1 cons 2 2 0 active 1 0 pair 2 0 zip 2 2 1 active zip X1 X2 zip X1 active X2 zip ok X1 ok X2 ok zip X1 X2 active take 0 XS mark nil active take X1 X2 take active X1 X2 active zip cons X XS cons Y YS mark cons pair X Y zip XS YS active pairNs mark cons 0 incr oddNs active incr cons X XS mark cons s X incr XS active take X1 X2 take X1 active X2 active tail X tail active X proper 0 ok 0 take mark X1 X2 mark take X1 X2 active pair X1 X2 pair active X1 X2 tail mark X mark tail X active zip X1 X2 zip active X1 X2 take X1 mark X2 mark take X1 X2 proper pairNs ok pairNs active repItems X repItems active X zip mark X1 X2 mark zip X1 X2 proper tail X tail proper X active take s N cons X XS mark cons X take N XS repItems mark X mark repItems X active repItems nil mark nil proper s X s proper X active zip X nil mark nil active pair X1 X2 pair X1 active X2 s mark X mark s X take ok X1 ok X2 ok take X1 X2 tail ok X ok tail X pair mark X1 X2 mark pair X1 X2 active s X s active X pair X1 mark X2 mark pair X1 X2 active cons X1 X2 cons active X1 X2 proper repItems X repItems proper X cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active repItems cons X XS mark cons X cons X repItems XS active tail cons X XS mark XS active incr X incr active X pair ok X1 ok X2 ok pair X1 X2 proper take X1 X2 take proper X1 proper X2 active zip nil XS mark nil proper oddNs ok oddNs s ok X ok s X repItems ok X ok repItems X incr ok X ok incr X proper incr X incr proper X proper nil ok nil proper zip X1 X2 zip proper X1 proper X2 cons ok X1 ok X2 ok cons X1 X2 proper cons X1 X2 cons proper X1 proper X2 zip X1 mark X2 mark zip X1 X2 proper pair X1 X2 pair proper X1 proper X2 active oddNs mark incr pairNs top ok X active X false top mark X proper X false proper tail X proper X proper pair X1 X2 proper X2 proper incr X proper X proper zip X1 X2 proper X2 proper cons X1 X2 proper X2 proper s X proper X proper pair X1 X2 proper X1 proper take X1 X2 proper X1 proper zip X1 X2 proper X1 proper repItems X proper X proper take X1 X2 proper X2 proper cons X1 X2 proper X1 true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 57785 ok 1 1 57786 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 0 incr 1 0 pairNs 0 36828 oddNs 0 36827 proper 1 1 0 repItems 1 0 active 1 1 2 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs proper cons X1 X2 cons proper X1 proper X2 false proper zip X1 X2 zip proper X1 proper X2 false proper incr X incr proper X false proper repItems X repItems proper X false proper s X s proper X false proper tail X tail proper X false active incr X active X active tail X active X active zip X1 X2 active X2 active zip X1 X2 active X1 active take X1 X2 active X1 active pair X1 X2 active X1 active cons X1 X2 active X1 active repItems X active X active s X active X active take X1 X2 active X2 active pair X1 X2 active X2 true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 32132 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 0 incr 1 0 pairNs 0 32002 oddNs 0 51373 proper 1 0 repItems 1 0 active 1 1 19374 cons 2 1 2 1 active 1 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active oddNs incr pairNs false active incr X incr active X false active repItems cons X XS cons X cons X repItems XS false active repItems cons X XS cons X repItems XS false active repItems cons X XS repItems XS false active cons X1 X2 cons active X1 X2 false active s X s active X false active pair X1 X2 pair X1 active X2 false active take s N cons X XS cons X take N XS false active take s N cons X XS take N XS false active repItems X repItems active X false repItems ok X repItems X repItems mark X repItems X true repItems 1 1 1 incr 1 1 39229 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 27646 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 0 incr 1 0 pairNs 0 2 oddNs 0 1 proper 1 0 repItems 1 1 0 active 1 1 39230 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 repItems mark X repItems X active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs repItems mark X repItems X true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 69824 oddNs 0 69823 proper 1 0 repItems 1 1 0 active 1 1 3 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active zip X1 X2 zip active X1 X2 false active pair X1 X2 pair active X1 X2 false active tail X tail active X false tail mark X tail X tail ok X tail X true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 6835 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 1 0 mark 1 1 1 incr 1 0 pairNs 0 1 oddNs 0 1 proper 1 0 repItems 1 0 active 1 1 4 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active take X1 X2 take X1 active X2 false active incr cons X XS cons s X incr XS false active incr cons X XS s X false s ok X s X s mark X s X true repItems 1 1 2089 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 25118 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 57205 proper 1 1 1 ok 1 1 2 0 0 1 s 1 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 43648 oddNs 0 43647 proper 1 0 repItems 1 0 active 1 1 3 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active incr cons X XS incr XS false incr ok X incr X incr mark X incr X true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 1 0 pairNs 0 2 oddNs 0 1 proper 1 0 repItems 1 0 active 1 1 3 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active pairNs cons 0 incr oddNs false active pairNs incr oddNs false active zip cons X XS cons Y YS cons pair X Y zip XS YS false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true repItems 1 1 1 incr 1 1 1 cons 2 1 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 2 1 top 1 0 zip 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 4 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 16610 oddNs 0 16609 proper 1 0 repItems 1 0 active 1 1 3 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs active zip cons X XS cons Y YS pair X Y false active zip cons X XS cons Y YS zip XS YS false active take X1 X2 take active X1 X2 false active zip X1 X2 zip X1 active X2 false zip ok X1 ok X2 zip X1 X2 zip mark X1 X2 zip X1 X2 zip X1 mark X2 zip X1 X2 true repItems 1 1 1 incr 1 1 1 cons 2 0 s 1 1 2 take 2 0 take 2 1 2 10109 top 1 0 pair 2 1 2 1 top 1 0 zip 2 2 0 tail 1 1 1 proper 1 1 1 ok 1 1 2 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 35973 oddNs 0 35972 proper 1 0 repItems 1 0 active 1 1 3 cons 2 1 2 1 active 1 0 pair 2 0 zip 2 1 2 1 zip mark X1 X2 zip X1 X2 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil pair mark X1 X2 mark pair X1 X2 pair X1 mark X2 mark pair X1 X2 cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active tail cons X XS mark XS pair ok X1 ok X2 ok pair X1 X2 active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs zip mark X1 X2 zip X1 X2 true repItems 1 1 0 incr 1 1 0 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 1 top 1 0 zip 2 1 0 tail 1 1 0 proper 1 0 ok 1 1 36900 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 2 oddNs 0 38491 proper 1 0 repItems 1 0 active 1 1 2 cons 2 1 1 active 1 0 pair 2 0 zip 2 1 2 1 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs proper pair X1 X2 pair proper X1 proper X2 false pair ok X1 ok X2 pair X1 X2 pair mark X1 X2 pair X1 X2 pair X1 mark X2 pair X1 X2 true repItems 1 1 0 incr 1 1 0 cons 2 0 s 1 1 1 take 2 0 take 2 1 2 1 top 1 0 pair 2 3 top 1 0 zip 2 0 tail 1 1 0 proper 1 0 ok 1 1 1 0 0 1 s 1 0 nil 0 1 tail 1 0 mark 1 1 1 incr 1 0 pairNs 0 1 oddNs 0 38491 proper 1 0 repItems 1 0 active 1 1 2 cons 2 1 1 active 1 0 pair 2 1 0 zip 2 1 2 1 pair X1 mark X2 pair X1 X2 active take 0 XS mark nil active repItems nil mark nil active zip X nil mark nil cons mark X1 X2 mark cons X1 X2 incr mark X mark incr X active zip nil XS mark nil incr ok X ok incr X cons ok X1 ok X2 ok cons X1 X2 active oddNs mark incr pairNs pair X1 mark X2 pair X1 X2 true repItems 1 1 1 incr 1 1 12782 cons 2 0 s 1 2 take 2 0 take 2 2 top 1 0 pair 2 24632 top 1 0 zip 2 0 tail 1 1 18331 proper 1 1 ok 1 1 15149 0 0 1 s 1 0 nil 0 23332 tail 1 0 mark 1 1 2766 incr 1 0 pairNs 0 32662 oddNs 0 1 proper 1 0 repItems 1 0 active 1 1 cons 2 24292 active 1 0 pair 2 2 0 zip 2 1 20541 proper take X1 X2 take proper X1 proper X2 false take X1 mark X2 take X1 X2 take ok X1 ok X2 take X1 X2 take mark X1 X2 take X1 X2 true repItems 1 12893 incr 1 1 1 cons 2 0 s 1 31371 take 2 1 2 0 take 2 31609 top 1 0 pair 2 19072 top 1 0 zip 2 0 tail 1 18331 proper 1 12892 ok 1 1 16209 0 0 1 s 1 0 nil 0 23332 tail 1 0 mark 1 1 2766 incr 1 0 pairNs 0 32662 oddNs 0 2284 proper 1 0 repItems 1 0 active 1 1 cons 2 1 46918 active 1 0 pair 2 0 zip 2 21654 incr mark X mark incr X incr ok X ok incr X NaTT certifiable-1.6