ptrans[player 14 "TuesdayNight8" trans[BUY deriv["Zshauthotho8_e3fb5f62_41c2_4d60_9a4e_d97a3f1c8172" 15 0.5 type classic [255 127 63 31 15 7 3 1 225 97 33 ] ]] trans[BUY deriv["FourthReich8_c784a82e_86bb_42b4_81b2_b9b6f3dc75df" 5 0.35 type classic [223 2 ] ]] trans[BUY deriv["FourthReich8_d5cae49a_e13d_4a9e_877f_f942fffdf6dc" 5 0.39 type classic [231 2 ] ]] trans[BUY deriv["GenericPlayer2_8c0979a6_3a77_448e_976d_fd95461f0cf0" 6 0.2292735611392771 type classic [4 ] ]] trans[CREATE deriv["TuesdayNight8_2ad4d845_d248_406a_8168_099f0a2b23fd" 14 0.605 type classic [80 42 88 68 60 16 68 38 78 46 100 90 108 122 106 56 ] ]] trans[DELIVER deriv["TuesdayNight8_c49ae377_ee30_42db_a0fb_9913948fab8c" 14 15 0.405 type classic [98 108 36 36 54 108 62 50 22 42 116 60 30 98 18 66 ] rm[ 17: 36 7 6 5 17: 36 7 6 4 17: 36 7 5 4 17: 36 6 5 4 17: 36 7 6 3 17: 36 7 5 3 17: 36 6 5 3 17: 36 7 4 3 17: 36 6 4 3 17: 36 5 4 3 17: 36 7 6 2 17: 36 7 5 2 17: 36 6 5 2 17: 36 7 4 2 17: 36 6 4 2 17: 36 5 4 2 17: 36 7 3 2 17: 36 6 3 2 17: 36 5 3 2 17: 36 4 3 2 17: 36 7 6 1 17: 36 7 5 1 17: 36 6 5 1 17: 36 7 4 1 17: 36 6 4 1 17: 36 5 4 1 17: 36 7 3 1 17: 36 6 3 1 17: 36 5 3 1 17: 36 4 3 1 17: 36 7 2 1 17: 36 6 2 1 17: 36 5 2 1 17: 36 4 2 1 17: 36 3 2 1 17: 36 7 6 0 17: 36 7 5 0 17: 36 6 5 0 17: 36 7 4 0 17: 36 6 4 0 17: 36 5 4 0 17: 36 7 3 0 17: 36 6 3 0 17: 36 5 3 0 17: 36 4 3 0 17: 36 7 2 0 17: 36 6 2 0 17: 36 5 2 0 17: 36 4 2 0 17: 36 3 2 0 17: 36 7 1 0 17: 36 6 1 0 17: 36 5 1 0 17: 36 4 1 0 17: 36 3 1 0 17: 36 2 1 0 ] ]] trans[FINISH deriv["GenericPlayer2_13b1a509_0d24_415a_99d9_d96d2680e108" 6 14 0.21784425738695515 type classic [2 ] rm[ 1: 0 v3 v2 v1 1: 0 v4 v2 v1 1: 0 v4 v3 v1 1: 0 v4 v3 v2 1: 0 v5 v2 v1 1: 0 v5 v3 v1 1: 0 v5 v3 v2 1: 0 v5 v4 v1 1: 0 v5 v4 v2 1: 0 v5 v4 v3 1: 0 v6 v2 v1 1: 0 v6 v3 v1 1: 0 v6 v3 v2 1: 0 v6 v4 v1 1: 0 v6 v4 v2 1: 0 v6 v4 v3 1: 0 v6 v5 v1 1: 0 v6 v5 v2 1: 0 v6 v5 v3 1: 0 v6 v5 v4 1: 0 v7 v2 v1 1: 0 v7 v3 v1 1: 0 v7 v3 v2 1: 0 v7 v4 v1 1: 0 v7 v4 v2 1: 0 v7 v4 v3 1: 0 v7 v5 v1 1: 0 v7 v5 v2 1: 0 v7 v5 v3 1: 0 v7 v5 v4 1: 0 v7 v6 v1 1: 0 v7 v6 v2 1: 0 v7 v6 v3 1: 0 v7 v6 v4 1: 0 v7 v6 v5 1: 255 v8 v2 v1 1: 255 v8 v3 v1 1: 255 v8 v3 v2 1: 255 v8 v4 v1 1: 255 v8 v4 v2 1: 255 v8 v4 v3 1: 255 v8 v5 v1 1: 255 v8 v5 v2 1: 255 v8 v5 v3 1: 255 v8 v5 v4 1: 255 v8 v6 v1 1: 255 v8 v6 v2 1: 255 v8 v6 v3 1: 255 v8 v6 v4 1: 255 v8 v6 v5 1: 255 v8 v7 v1 1: 255 v8 v7 v2 1: 255 v8 v7 v3 1: 255 v8 v7 v4 1: 255 v8 v7 v5 1: 255 v8 v7 v6 1: 255 v9 v2 v1 1: 255 v9 v3 v1 1: 255 v9 v3 v2 1: 255 v9 v4 v1 1: 255 v9 v4 v2 1: 255 v9 v4 v3 1: 255 v9 v5 v1 1: 255 v9 v5 v2 1: 255 v9 v5 v3 1: 255 v9 v5 v4 1: 255 v9 v6 v1 1: 255 v9 v6 v2 1: 255 v9 v6 v3 1: 255 v9 v6 v4 1: 255 v9 v6 v5 1: 255 v9 v7 v1 1: 255 v9 v7 v2 1: 255 v9 v7 v3 1: 255 v9 v7 v4 1: 255 v9 v7 v5 1: 255 v9 v7 v6 1: 0 v9 v8 v1 1: 0 v9 v8 v2 1: 0 v9 v8 v3 1: 0 v9 v8 v4 1: 0 v9 v8 v5 1: 0 v9 v8 v6 1: 0 v9 v8 v7 1: 170 v10 v2 v1 1: 170 v10 v3 v1 1: 170 v10 v3 v2 1: 170 v10 v4 v1 1: 170 v10 v4 v2 1: 170 v10 v4 v3 1: 170 v10 v5 v1 1: 170 v10 v5 v2 1: 170 v10 v5 v3 1: 170 v10 v5 v4 1: 170 v10 v6 v1 1: 170 v10 v6 v2 1: 170 v10 v6 v3 1: 170 v10 v6 v4 1: 170 v10 v6 v5 1: 170 v10 v7 v1 1: 170 v10 v7 v2 1: 170 v10 v7 v3 1: 170 v10 v7 v4 1: 170 v10 v7 v5 1: 170 v10 v7 v6 1: 0 v10 v8 v1 1: 0 v10 v8 v2 1: 0 v10 v8 v3 1: 0 v10 v8 v4 1: 0 v10 v8 v5 1: 0 v10 v8 v6 1: 0 v10 v8 v7 1: 0 v10 v9 v1 1: 0 v10 v9 v2 1: 0 v10 v9 v3 1: 0 v10 v9 v4 1: 0 v10 v9 v5 1: 0 v10 v9 v6 1: 0 v10 v9 v7 1: 0 v10 v9 v8 ] finish[(assignment:[ ! v3 ! v2 ! v1 ! v4 ! v5 ! v6 ! v7 v8 v9 v10 ]) 0.525]]] trans[FINISH deriv["Zshauthotho8_8e347f66_c521_49b7_97df_295f8b48401a" 15 14 0.5 type classic [255 127 63 31 15 7 3 1 234 106 42 ] rm[ 1: 255 a b c 0: 255 a b d 0: 255 a b e 1: 255 a b f 0: 255 a b g 1: 255 a b h 1: 255 a b i 0: 255 a b j 1: 255 a b k 0: 255 a b l 0: 255 a b m 0: 255 a b n 1: 255 a b o 0: 255 a b p 1: 255 a b q 0: 255 a b r 0: 15 a b s 0: 255 a c d 0: 255 a c e 1: 255 a c f 0: 255 a c g 0: 255 a c h 1: 255 a c i 1: 255 a c j 0: 255 a c k 0: 255 a c l 0: 255 a c m 0: 255 a c n 0: 255 a c o 0: 255 a c p 1: 255 a c q 0: 255 a c r 0: 15 a c s 0: 255 a d e 1: 255 a d f 1: 255 a d g 1: 255 a d h 1: 255 a d i 0: 255 a d j 0: 255 a d k 1: 255 a d l 1: 255 a d m 0: 255 a d n 0: 255 a d o 1: 255 a d p 0: 255 a d q 1: 255 a d r 1: 15 a d s 1: 255 a e f 0: 255 a e g 1: 255 a e h 1: 255 a e i 0: 255 a e j 1: 255 a e k 0: 255 a e l 1: 255 a e m 0: 255 a e n 1: 255 a e o 0: 255 a e p 0: 255 a e q 0: 255 a e r 0: 15 a e s 1: 255 a f g 1: 255 a f h 1: 255 a f i 1: 255 a f j 1: 255 a f k 1: 255 a f l 0: 255 a f m 1: 255 a f n 1: 255 a f o 1: 255 a f p 1: 255 a f q 0: 255 a f r 0: 15 a f s 1: 255 a g h 1: 255 a g i 0: 255 a g j 1: 255 a g k 1: 255 a g l 0: 255 a g m 0: 255 a g n 1: 255 a g o 1: 255 a g p 0: 255 a g q 0: 255 a g r 1: 15 a g s 0: 255 a h i 1: 255 a h j 0: 255 a h k 0: 255 a h l 1: 255 a h m 0: 255 a h n 1: 255 a h o 0: 255 a h p 0: 255 a h q 0: 255 a h r 0: 15 a h s 0: 255 a i j 1: 255 a i k 1: 255 a i l 1: 255 a i m 0: 255 a i n 1: 255 a i o 0: 255 a i p 1: 255 a i q 0: 255 a i r 1: 15 a i s 0: 255 a j k 1: 255 a j l 0: 255 a j m 0: 255 a j n 1: 255 a j o 1: 255 a j p 1: 255 a j q 0: 255 a j r 0: 15 a j s 1: 255 a k l 0: 255 a k m 0: 255 a k n 1: 255 a k o 1: 255 a k p 1: 255 a k q 1: 255 a k r 1: 15 a k s 1: 255 a l m 1: 255 a l n 1: 255 a l o 0: 255 a l p 0: 255 a l q 0: 255 a l r 1: 15 a l s 0: 255 a m n 1: 255 a m o 0: 255 a m p 1: 255 a m q 1: 255 a m r 1: 15 a m s 1: 255 a n o 1: 255 a n p 1: 255 a n q 0: 255 a n r 0: 15 a n s 0: 255 a o p 1: 255 a o q 0: 255 a o r 0: 15 a o s 0: 255 a p q 1: 255 a p r 0: 15 a p s 1: 255 a q r 1: 15 a q s 1: 15 a r s 1: 255 b c d 1: 255 b c e 0: 255 b c f 1: 255 b c g 0: 255 b c h 0: 255 b c i 0: 255 b c j 1: 255 b c k 0: 255 b c l 0: 255 b c m 1: 255 b c n 0: 255 b c o 1: 255 b c p 1: 255 b c q 0: 255 b c r 1: 15 b c s 0: 255 b d e 1: 255 b d f 0: 255 b d g 1: 255 b d h 1: 255 b d i 1: 255 b d j 0: 255 b d k 0: 255 b d l 1: 255 b d m 0: 255 b d n 1: 255 b d o 0: 255 b d p 1: 255 b d q 0: 255 b d r 0: 15 b d s 1: 255 b e f 1: 255 b e g 1: 255 b e h 0: 255 b e i 1: 255 b e j 0: 255 b e k 0: 255 b e l 0: 255 b e m 1: 255 b e n 0: 255 b e o 1: 255 b e p 0: 255 b e q 0: 255 b e r 1: 15 b e s 0: 255 b f g 0: 255 b f h 0: 255 b f i 0: 255 b f j 1: 255 b f k 0: 255 b f l 0: 255 b f m 0: 255 b f n 1: 255 b f o 0: 255 b f p 1: 255 b f q 0: 255 b f r 1: 15 b f s 0: 255 b g h 1: 255 b g i 0: 255 b g j 1: 255 b g k 1: 255 b g l 0: 255 b g m 1: 255 b g n 0: 255 b g o 1: 255 b g p 0: 255 b g q 1: 255 b g r 1: 15 b g s 0: 255 b h i 1: 255 b h j 1: 255 b h k 0: 255 b h l 1: 255 b h m 1: 255 b h n 1: 255 b h o 1: 255 b h p 1: 255 b h q 1: 255 b h r 1: 15 b h s 0: 255 b i j 1: 255 b i k 0: 255 b i l 0: 255 b i m 0: 255 b i n 1: 255 b i o 0: 255 b i p 0: 255 b i q 1: 255 b i r 0: 15 b i s 1: 255 b j k 1: 255 b j l 0: 255 b j m 1: 255 b j n 1: 255 b j o 1: 255 b j p 1: 255 b j q 1: 255 b j r 1: 15 b j s 0: 255 b k l 0: 255 b k m 0: 255 b k n 0: 255 b k o 0: 255 b k p 1: 255 b k q 0: 255 b k r 0: 15 b k s 0: 255 b l m 1: 255 b l n 0: 255 b l o 1: 255 b l p 0: 255 b l q 1: 255 b l r 1: 15 b l s 0: 255 b m n 1: 255 b m o 1: 255 b m p 1: 255 b m q 1: 255 b m r 0: 15 b m s 0: 255 b n o 0: 255 b n p 0: 255 b n q 0: 255 b n r 0: 15 b n s 1: 255 b o p 0: 255 b o q 1: 255 b o r 0: 15 b o s 0: 255 b p q 1: 255 b p r 0: 15 b p s 1: 255 b q r 1: 15 b q s 0: 15 b r s 1: 255 c d e 1: 255 c d f 0: 255 c d g 0: 255 c d h 0: 255 c d i 0: 255 c d j 1: 255 c d k 1: 255 c d l 1: 255 c d m 0: 255 c d n 0: 255 c d o 1: 255 c d p 1: 255 c d q 1: 255 c d r 0: 15 c d s 1: 255 c e f 0: 255 c e g 0: 255 c e h 1: 255 c e i 0: 255 c e j 0: 255 c e k 0: 255 c e l 1: 255 c e m 0: 255 c e n 1: 255 c e o 1: 255 c e p 1: 255 c e q 1: 255 c e r 1: 15 c e s 1: 255 c f g 0: 255 c f h 0: 255 c f i 1: 255 c f j 0: 255 c f k 1: 255 c f l 0: 255 c f m 1: 255 c f n 0: 255 c f o 0: 255 c f p 1: 255 c f q 1: 255 c f r 0: 15 c f s 0: 255 c g h 1: 255 c g i 1: 255 c g j 1: 255 c g k 1: 255 c g l 1: 255 c g m 0: 255 c g n 1: 255 c g o 1: 255 c g p 0: 255 c g q 0: 255 c g r 0: 15 c g s 0: 255 c h i 1: 255 c h j 1: 255 c h k 0: 255 c h l 0: 255 c h m 0: 255 c h n 1: 255 c h o 0: 255 c h p 0: 255 c h q 0: 255 c h r 1: 15 c h s 0: 255 c i j 0: 255 c i k 0: 255 c i l 0: 255 c i m 1: 255 c i n 1: 255 c i o 0: 255 c i p 1: 255 c i q 0: 255 c i r 1: 15 c i s 1: 255 c j k 0: 255 c j l 0: 255 c j m 1: 255 c j n 1: 255 c j o 0: 255 c j p 1: 255 c j q 0: 255 c j r 1: 15 c j s 0: 255 c k l 0: 255 c k m 0: 255 c k n 0: 255 c k o 1: 255 c k p 1: 255 c k q 0: 255 c k r 1: 15 c k s 0: 255 c l m 1: 255 c l n 0: 255 c l o 1: 255 c l p 1: 255 c l q 0: 255 c l r 0: 15 c l s 0: 255 c m n 1: 255 c m o 1: 255 c m p 1: 255 c m q 1: 255 c m r 1: 15 c m s 1: 255 c n o 0: 255 c n p 1: 255 c n q 1: 255 c n r 1: 15 c n s 1: 255 c o p 1: 255 c o q 0: 255 c o r 1: 15 c o s 0: 255 c p q 1: 255 c p r 0: 15 c p s 1: 255 c q r 1: 15 c q s 0: 15 c r s 1: 255 d e f 1: 255 d e g 0: 255 d e h 0: 255 d e i 1: 255 d e j 1: 255 d e k 0: 255 d e l 0: 255 d e m 0: 255 d e n 0: 255 d e o 1: 255 d e p 0: 255 d e q 0: 255 d e r 1: 15 d e s 0: 255 d f g 1: 255 d f h 1: 255 d f i 1: 255 d f j 0: 255 d f k 0: 255 d f l 0: 255 d f m 1: 255 d f n 1: 255 d f o 0: 255 d f p 0: 255 d f q 0: 255 d f r 1: 15 d f s 1: 255 d g h 0: 255 d g i 0: 255 d g j 0: 255 d g k 0: 255 d g l 0: 255 d g m 0: 255 d g n 1: 255 d g o 0: 255 d g p 1: 255 d g q 1: 255 d g r 0: 15 d g s 0: 255 d h i 0: 255 d h j 1: 255 d h k 0: 255 d h l 0: 255 d h m 1: 255 d h n 1: 255 d h o 1: 255 d h p 1: 255 d h q 0: 255 d h r 0: 15 d h s 0: 255 d i j 1: 255 d i k 0: 255 d i l 0: 255 d i m 1: 255 d i n 1: 255 d i o 1: 255 d i p 1: 255 d i q 1: 255 d i r 0: 15 d i s 0: 255 d j k 1: 255 d j l 1: 255 d j m 1: 255 d j n 1: 255 d j o 0: 255 d j p 0: 255 d j q 1: 255 d j r 0: 15 d j s 1: 255 d k l 1: 255 d k m 0: 255 d k n 0: 255 d k o 1: 255 d k p 1: 255 d k q 1: 255 d k r 0: 15 d k s 1: 255 d l m 1: 255 d l n 0: 255 d l o 0: 255 d l p 1: 255 d l q 0: 255 d l r 0: 15 d l s 1: 255 d m n 0: 255 d m o 0: 255 d m p 1: 255 d m q 1: 255 d m r 1: 15 d m s 1: 255 d n o 1: 255 d n p 1: 255 d n q 0: 255 d n r 1: 15 d n s 1: 255 d o p 1: 255 d o q 1: 255 d o r 0: 15 d o s 1: 255 d p q 0: 255 d p r 1: 15 d p s 1: 255 d q r 1: 15 d q s 1: 15 d r s 1: 255 e f g 0: 255 e f h 0: 255 e f i 1: 255 e f j 0: 255 e f k 0: 255 e f l 0: 255 e f m 0: 255 e f n 1: 255 e f o 0: 255 e f p 1: 255 e f q 1: 255 e f r 0: 15 e f s 0: 255 e g h 1: 255 e g i 1: 255 e g j 1: 255 e g k 1: 255 e g l 0: 255 e g m 1: 255 e g n 1: 255 e g o 1: 255 e g p 1: 255 e g q 0: 255 e g r 1: 15 e g s 0: 255 e h i 0: 255 e h j 1: 255 e h k 0: 255 e h l 1: 255 e h m 1: 255 e h n 0: 255 e h o 1: 255 e h p 1: 255 e h q 1: 255 e h r 1: 15 e h s 1: 255 e i j 0: 255 e i k 1: 255 e i l 0: 255 e i m 1: 255 e i n 1: 255 e i o 0: 255 e i p 1: 255 e i q 0: 255 e i r 0: 15 e i s 0: 255 e j k 1: 255 e j l 0: 255 e j m 0: 255 e j n 1: 255 e j o 0: 255 e j p 1: 255 e j q 0: 255 e j r 0: 15 e j s 0: 255 e k l 1: 255 e k m 0: 255 e k n 0: 255 e k o 0: 255 e k p 1: 255 e k q 0: 255 e k r 0: 15 e k s 0: 255 e l m 1: 255 e l n 1: 255 e l o 1: 255 e l p 1: 255 e l q 0: 255 e l r 1: 15 e l s 1: 255 e m n 0: 255 e m o 1: 255 e m p 0: 255 e m q 1: 255 e m r 1: 15 e m s 0: 255 e n o 1: 255 e n p 0: 255 e n q 1: 255 e n r 1: 15 e n s 1: 255 e o p 1: 255 e o q 0: 255 e o r 0: 15 e o s 1: 255 e p q 1: 255 e p r 0: 15 e p s 1: 255 e q r 1: 15 e q s 1: 15 e r s 0: 255 f g h 0: 255 f g i 1: 255 f g j 0: 255 f g k 1: 255 f g l 1: 255 f g m 0: 255 f g n 0: 255 f g o 1: 255 f g p 0: 255 f g q 0: 255 f g r 1: 15 f g s 1: 255 f h i 0: 255 f h j 0: 255 f h k 1: 255 f h l 1: 255 f h m 0: 255 f h n 1: 255 f h o 1: 255 f h p 0: 255 f h q 0: 255 f h r 1: 15 f h s 1: 255 f i j 0: 255 f i k 0: 255 f i l 0: 255 f i m 1: 255 f i n 0: 255 f i o 0: 255 f i p 1: 255 f i q 1: 255 f i r 0: 15 f i s 1: 255 f j k 0: 255 f j l 0: 255 f j m 0: 255 f j n 0: 255 f j o 0: 255 f j p 0: 255 f j q 0: 255 f j r 0: 15 f j s 1: 255 f k l 0: 255 f k m 1: 255 f k n 0: 255 f k o 1: 255 f k p 0: 255 f k q 0: 255 f k r 1: 15 f k s 1: 255 f l m 1: 255 f l n 0: 255 f l o 1: 255 f l p 0: 255 f l q 0: 255 f l r 0: 15 f l s 1: 255 f m n 0: 255 f m o 0: 255 f m p 1: 255 f m q 1: 255 f m r 1: 15 f m s 0: 255 f n o 0: 255 f n p 1: 255 f n q 1: 255 f n r 0: 15 f n s 1: 255 f o p 1: 255 f o q 1: 255 f o r 0: 15 f o s 0: 255 f p q 0: 255 f p r 1: 15 f p s 1: 255 f q r 1: 15 f q s 0: 15 f r s 1: 255 g h i 0: 255 g h j 0: 255 g h k 0: 255 g h l 0: 255 g h m 1: 255 g h n 0: 255 g h o 1: 255 g h p 0: 255 g h q 1: 255 g h r 1: 15 g h s 1: 255 g i j 0: 255 g i k 1: 255 g i l 0: 255 g i m 0: 255 g i n 1: 255 g i o 0: 255 g i p 1: 255 g i q 0: 255 g i r 0: 15 g i s 0: 255 g j k 0: 255 g j l 0: 255 g j m 1: 255 g j n 1: 255 g j o 1: 255 g j p 1: 255 g j q 1: 255 g j r 0: 15 g j s 1: 255 g k l 0: 255 g k m 0: 255 g k n 1: 255 g k o 1: 255 g k p 1: 255 g k q 0: 255 g k r 0: 15 g k s 0: 255 g l m 1: 255 g l n 0: 255 g l o 1: 255 g l p 1: 255 g l q 1: 255 g l r 0: 15 g l s 0: 255 g m n 1: 255 g m o 1: 255 g m p 0: 255 g m q 1: 255 g m r 0: 15 g m s 0: 255 g n o 1: 255 g n p 1: 255 g n q 1: 255 g n r 1: 15 g n s 1: 255 g o p 0: 255 g o q 1: 255 g o r 0: 15 g o s 1: 255 g p q 0: 255 g p r 1: 15 g p s 1: 255 g q r 0: 15 g q s 1: 15 g r s 1: 255 h i j 1: 255 h i k 1: 255 h i l 1: 255 h i m 1: 255 h i n 1: 255 h i o 0: 255 h i p 1: 255 h i q 0: 255 h i r 0: 15 h i s 0: 255 h j k 1: 255 h j l 0: 255 h j m 1: 255 h j n 0: 255 h j o 0: 255 h j p 0: 255 h j q 0: 255 h j r 1: 15 h j s 0: 255 h k l 0: 255 h k m 0: 255 h k n 0: 255 h k o 1: 255 h k p 1: 255 h k q 1: 255 h k r 0: 15 h k s 1: 255 h l m 0: 255 h l n 0: 255 h l o 0: 255 h l p 1: 255 h l q 0: 255 h l r 0: 15 h l s 0: 255 h m n 1: 255 h m o 1: 255 h m p 0: 255 h m q 0: 255 h m r 1: 15 h m s 0: 255 h n o 0: 255 h n p 1: 255 h n q 0: 255 h n r 1: 15 h n s 1: 255 h o p 1: 255 h o q 0: 255 h o r 1: 15 h o s 0: 255 h p q 1: 255 h p r 1: 15 h p s 1: 255 h q r 1: 15 h q s 0: 15 h r s 1: 255 i j k 0: 255 i j l 1: 255 i j m 0: 255 i j n 0: 255 i j o 0: 255 i j p 0: 255 i j q 0: 255 i j r 0: 15 i j s 1: 255 i k l 1: 255 i k m 1: 255 i k n 0: 255 i k o 1: 255 i k p 1: 255 i k q 1: 255 i k r 0: 15 i k s 0: 255 i l m 0: 255 i l n 1: 255 i l o 0: 255 i l p 1: 255 i l q 1: 255 i l r 0: 15 i l s 0: 255 i m n 1: 255 i m o 0: 255 i m p 0: 255 i m q 0: 255 i m r 1: 15 i m s 0: 255 i n o 0: 255 i n p 1: 255 i n q 0: 255 i n r 0: 15 i n s 1: 255 i o p 0: 255 i o q 1: 255 i o r 1: 15 i o s 1: 255 i p q 1: 255 i p r 0: 15 i p s 0: 255 i q r 0: 15 i q s 1: 15 i r s 0: 255 j k l 0: 255 j k m 1: 255 j k n 0: 255 j k o 1: 255 j k p 1: 255 j k q 1: 255 j k r 1: 15 j k s 0: 255 j l m 0: 255 j l n 1: 255 j l o 0: 255 j l p 1: 255 j l q 0: 255 j l r 0: 15 j l s 1: 255 j m n 1: 255 j m o 1: 255 j m p 0: 255 j m q 0: 255 j m r 0: 15 j m s 0: 255 j n o 0: 255 j n p 0: 255 j n q 0: 255 j n r 0: 15 j n s 1: 255 j o p 1: 255 j o q 0: 255 j o r 0: 15 j o s 0: 255 j p q 1: 255 j p r 1: 15 j p s 0: 255 j q r 1: 15 j q s 0: 15 j r s 1: 255 k l m 0: 255 k l n 1: 255 k l o 1: 255 k l p 0: 255 k l q 1: 255 k l r 1: 15 k l s 1: 255 k m n 0: 255 k m o 1: 255 k m p 0: 255 k m q 0: 255 k m r 0: 15 k m s 1: 255 k n o 1: 255 k n p 0: 255 k n q 0: 255 k n r 0: 15 k n s 1: 255 k o p 1: 255 k o q 1: 255 k o r 1: 15 k o s 1: 255 k p q 1: 255 k p r 1: 15 k p s 0: 255 k q r 1: 15 k q s 0: 15 k r s 0: 255 l m n 1: 255 l m o 0: 255 l m p 1: 255 l m q 0: 255 l m r 0: 15 l m s 1: 255 l n o 1: 255 l n p 0: 255 l n q 1: 255 l n r 0: 15 l n s 0: 255 l o p 1: 255 l o q 1: 255 l o r 0: 15 l o s 1: 255 l p q 1: 255 l p r 1: 15 l p s 1: 255 l q r 1: 15 l q s 0: 15 l r s 0: 255 m n o 0: 255 m n p 1: 255 m n q 1: 255 m n r 1: 15 m n s 0: 255 m o p 1: 255 m o q 0: 255 m o r 0: 15 m o s 0: 255 m p q 0: 255 m p r 1: 15 m p s 0: 255 m q r 1: 15 m q s 0: 15 m r s 1: 255 n o p 0: 255 n o q 0: 255 n o r 1: 15 n o s 1: 255 n p q 0: 255 n p r 0: 15 n p s 0: 255 n q r 0: 15 n q s 1: 15 n r s 1: 255 o p q 1: 255 o p r 1: 15 o p s 0: 255 o q r 1: 15 o q s 0: 15 o r s 1: 255 p q r 1: 15 p q s 1: 15 p r s 1: 15 q r s ] finish[(assignment:[ ! a ! b ! c ! d ! e ! f ! g ! h ! i ! j ! k ! l ! m ! n ! o ! p ! q ! r ! s ]) 1.0]]] trans[FINISH deriv["Bender8_0f76c996_8d7e_4207_a033_061024991c70" 1 14 0.505 type classic [21 232 ] rm[ 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v2 v0 v1 1: 232 v1 v2 v0 1: 232 v1 v0 v2 1: 232 v2 v1 v0 1: 232 v0 v2 v1 1: 232 v0 v1 v2 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v3 v0 v1 1: 232 v1 v3 v0 1: 232 v1 v0 v3 1: 232 v3 v1 v0 1: 232 v0 v3 v1 1: 232 v0 v1 v3 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v4 v0 v1 1: 232 v1 v4 v0 1: 232 v1 v0 v4 1: 232 v4 v1 v0 1: 232 v0 v4 v1 1: 232 v0 v1 v4 1: 232 v5 v0 v1 1: 232 v1 v5 v0 1: 232 v1 v0 v5 1: 232 v5 v1 v0 1: 232 v0 v5 v1 1: 232 v0 v1 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v3 v0 v2 1: 232 v2 v3 v0 1: 232 v2 v0 v3 1: 232 v3 v2 v0 1: 232 v0 v3 v2 1: 232 v0 v2 v3 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v4 v0 v2 1: 232 v2 v4 v0 1: 232 v2 v0 v4 1: 232 v4 v2 v0 1: 232 v0 v4 v2 1: 232 v0 v2 v4 1: 232 v5 v0 v2 1: 232 v2 v5 v0 1: 232 v2 v0 v5 1: 232 v5 v2 v0 1: 232 v0 v5 v2 1: 232 v0 v2 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v4 v0 v3 1: 232 v3 v4 v0 1: 232 v3 v0 v4 1: 232 v4 v3 v0 1: 232 v0 v4 v3 1: 232 v0 v3 v4 1: 232 v5 v0 v3 1: 232 v3 v5 v0 1: 232 v3 v0 v5 1: 232 v5 v3 v0 1: 232 v0 v5 v3 1: 232 v0 v3 v5 1: 232 v5 v0 v4 1: 232 v4 v5 v0 1: 232 v4 v0 v5 1: 232 v5 v4 v0 1: 232 v0 v5 v4 1: 232 v0 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v3 v1 v2 1: 232 v2 v3 v1 1: 232 v2 v1 v3 1: 232 v3 v2 v1 1: 232 v1 v3 v2 1: 232 v1 v2 v3 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v4 v1 v2 1: 232 v2 v4 v1 1: 232 v2 v1 v4 1: 232 v4 v2 v1 1: 232 v1 v4 v2 1: 232 v1 v2 v4 1: 232 v5 v1 v2 1: 232 v2 v5 v1 1: 232 v2 v1 v5 1: 232 v5 v2 v1 1: 232 v1 v5 v2 1: 232 v1 v2 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v4 v1 v3 1: 232 v3 v4 v1 1: 232 v3 v1 v4 1: 232 v4 v3 v1 1: 232 v1 v4 v3 1: 232 v1 v3 v4 1: 232 v5 v1 v3 1: 232 v3 v5 v1 1: 232 v3 v1 v5 1: 232 v5 v3 v1 1: 232 v1 v5 v3 1: 232 v1 v3 v5 1: 232 v5 v1 v4 1: 232 v4 v5 v1 1: 232 v4 v1 v5 1: 232 v5 v4 v1 1: 232 v1 v5 v4 1: 232 v1 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 232 v4 v2 v3 1: 232 v3 v4 v2 1: 232 v3 v2 v4 1: 232 v4 v3 v2 1: 232 v2 v4 v3 1: 232 v2 v3 v4 1: 232 v5 v2 v3 1: 232 v3 v5 v2 1: 232 v3 v2 v5 1: 232 v5 v3 v2 1: 232 v2 v5 v3 1: 232 v2 v3 v5 1: 232 v5 v2 v4 1: 232 v4 v5 v2 1: 232 v4 v2 v5 1: 232 v5 v4 v2 1: 232 v2 v5 v4 1: 232 v2 v4 v5 1: 232 v5 v3 v4 1: 232 v4 v5 v3 1: 232 v4 v3 v5 1: 232 v5 v4 v3 1: 232 v3 v5 v4 1: 232 v3 v4 v5 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v2 v0 v1 1: 21 v1 v2 v0 1: 21 v1 v0 v2 1: 21 v2 v1 v0 1: 21 v0 v2 v1 1: 21 v0 v1 v2 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v3 v0 v1 1: 21 v1 v3 v0 1: 21 v1 v0 v3 1: 21 v3 v1 v0 1: 21 v0 v3 v1 1: 21 v0 v1 v3 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v4 v0 v1 1: 21 v1 v4 v0 1: 21 v1 v0 v4 1: 21 v4 v1 v0 1: 21 v0 v4 v1 1: 21 v0 v1 v4 1: 21 v5 v0 v1 1: 21 v1 v5 v0 1: 21 v1 v0 v5 1: 21 v5 v1 v0 1: 21 v0 v5 v1 1: 21 v0 v1 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v3 v0 v2 1: 21 v2 v3 v0 1: 21 v2 v0 v3 1: 21 v3 v2 v0 1: 21 v0 v3 v2 1: 21 v0 v2 v3 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v4 v0 v2 1: 21 v2 v4 v0 1: 21 v2 v0 v4 1: 21 v4 v2 v0 1: 21 v0 v4 v2 1: 21 v0 v2 v4 1: 21 v5 v0 v2 1: 21 v2 v5 v0 1: 21 v2 v0 v5 1: 21 v5 v2 v0 1: 21 v0 v5 v2 1: 21 v0 v2 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v4 v0 v3 1: 21 v3 v4 v0 1: 21 v3 v0 v4 1: 21 v4 v3 v0 1: 21 v0 v4 v3 1: 21 v0 v3 v4 1: 21 v5 v0 v3 1: 21 v3 v5 v0 1: 21 v3 v0 v5 1: 21 v5 v3 v0 1: 21 v0 v5 v3 1: 21 v0 v3 v5 1: 21 v5 v0 v4 1: 21 v4 v5 v0 1: 21 v4 v0 v5 1: 21 v5 v4 v0 1: 21 v0 v5 v4 1: 21 v0 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v3 v1 v2 1: 21 v2 v3 v1 1: 21 v2 v1 v3 1: 21 v3 v2 v1 1: 21 v1 v3 v2 1: 21 v1 v2 v3 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v4 v1 v2 1: 21 v2 v4 v1 1: 21 v2 v1 v4 1: 21 v4 v2 v1 1: 21 v1 v4 v2 1: 21 v1 v2 v4 1: 21 v5 v1 v2 1: 21 v2 v5 v1 1: 21 v2 v1 v5 1: 21 v5 v2 v1 1: 21 v1 v5 v2 1: 21 v1 v2 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v4 v1 v3 1: 21 v3 v4 v1 1: 21 v3 v1 v4 1: 21 v4 v3 v1 1: 21 v1 v4 v3 1: 21 v1 v3 v4 1: 21 v5 v1 v3 1: 21 v3 v5 v1 1: 21 v3 v1 v5 1: 21 v5 v3 v1 1: 21 v1 v5 v3 1: 21 v1 v3 v5 1: 21 v5 v1 v4 1: 21 v4 v5 v1 1: 21 v4 v1 v5 1: 21 v5 v4 v1 1: 21 v1 v5 v4 1: 21 v1 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 1: 21 v4 v2 v3 1: 21 v3 v4 v2 1: 21 v3 v2 v4 1: 21 v4 v3 v2 1: 21 v2 v4 v3 1: 21 v2 v3 v4 1: 21 v5 v2 v3 1: 21 v3 v5 v2 1: 21 v3 v2 v5 1: 21 v5 v3 v2 1: 21 v2 v5 v3 1: 21 v2 v3 v5 1: 21 v5 v2 v4 1: 21 v4 v5 v2 1: 21 v4 v2 v5 1: 21 v5 v4 v2 1: 21 v2 v5 v4 1: 21 v2 v4 v5 1: 21 v5 v3 v4 1: 21 v4 v5 v3 1: 21 v4 v3 v5 1: 21 v5 v4 v3 1: 21 v3 v5 v4 1: 21 v3 v4 v5 ] finish[(assignment:[ ! v2 ! v0 ! v1 ! v3 ! v4 ! v5 ]) 0.5]]]]