ptrans[player 7 "IAmRobot8" trans[BUY deriv["Bender8_293ae65d_138b_4866_862d_a98f3e109ed8" 15 0.495 type classic [1 234 ] ]] trans[BUY deriv["Bender8_4db99ccf_88c2_4057_b53f_bcaac547652c" 15 0.495 type classic [15 228 ] ]] trans[BUY deriv["Bender8_89ca806f_701c_4348_931a_ca288a79cc82" 15 0.495 type classic [29 140 ] ]] trans[BUY deriv["Bender8_e9af879b_63ef_49fb_8091_4e9c92ce6f5d" 15 0.495 type classic [9 212 ] ]] trans[BUY deriv["Bender8_af7387d7_54df_4b84_a01c_2f95c2786b73" 15 0.495 type classic [25 192 ] ]] trans[BUY deriv["Bender8_a226e4a5_eee2_446c_953b_f54325ff9b22" 15 0.495 type classic [17 240 ] ]] trans[BUY deriv["Bender8_71bef1e9_2d83_4a37_9131_7eef967c5d50" 15 0.495 type classic [21 144 ] ]] trans[BUY deriv["Bender8_7cdf21b0_9d10_4cf1_8b58_65d1461af52f" 15 0.495 type classic [1 146 ] ]] trans[BUY deriv["Bender8_ac36d930_3ffe_4428_bd37_936d589fcef2" 15 0.495 type classic [15 136 ] ]] trans[BUY deriv["Bender8_619a85aa_8116_4914_9e0e_6866e59b1989" 15 0.495 type classic [39 152 ] ]] trans[BUY deriv["Bender8_828d4a42_785b_43bc_af79_28ff123a01ea" 15 0.495 type classic [39 240 ] ]] trans[BUY deriv["Bender8_37d9a45b_9531_46e7_b409_51e714364e42" 15 0.495 type classic [3 176 ] ]] trans[BUY deriv["Bender8_e141db8c_5f68_4c4f_8a8b_73cdf269e4c5" 15 0.495 type classic [33 204 ] ]] trans[BUY deriv["Bender8_a7a9bc84_d222_4f42_af1b_ddb7793e10d9" 15 0.495 type classic [9 162 ] ]] trans[BUY deriv["Bender8_0a42da9d_f628_4e56_a0ec_ef653b9de528" 15 0.495 type classic [33 182 ] ]] trans[CREATE deriv["IAmRobot8_e7a089b4_c047_40fc_b574_c21faecada01" 7 0.51 type classic [106 60 ] ]] trans[DELIVER deriv["DrPepper8_1f643f22_e64b_44e6_b600_f75489315926" 7 6 0.98 type classic [148 4 32 62 146 34 58 144 30 228 ] rm[ 50: 4 v1 v9 v10 50: 4 v2 v9 v10 50: 4 v3 v9 v10 50: 4 v4 v9 v10 50: 4 v5 v9 v10 50: 4 v6 v9 v10 50: 4 v7 v9 v10 50: 4 v8 v9 v10 50: 4 v1 v8 v10 50: 4 v2 v8 v10 50: 4 v3 v8 v10 50: 4 v4 v8 v10 50: 4 v5 v8 v10 50: 4 v6 v8 v10 50: 4 v7 v8 v10 50: 4 v1 v7 v10 50: 4 v2 v7 v10 50: 4 v3 v7 v10 50: 4 v4 v7 v10 50: 4 v5 v7 v10 50: 4 v6 v7 v10 50: 4 v1 v6 v10 50: 4 v2 v6 v10 50: 4 v3 v6 v10 50: 4 v4 v6 v10 50: 4 v5 v6 v10 50: 4 v1 v5 v10 50: 4 v2 v5 v10 50: 4 v3 v5 v10 50: 4 v4 v5 v10 50: 4 v1 v4 v10 50: 4 v2 v4 v10 50: 4 v3 v4 v10 50: 4 v1 v3 v10 50: 4 v2 v3 v10 50: 4 v1 v2 v10 50: 4 v1 v8 v9 50: 4 v2 v8 v9 50: 4 v3 v8 v9 50: 4 v4 v8 v9 50: 4 v5 v8 v9 50: 4 v6 v8 v9 50: 4 v7 v8 v9 50: 4 v1 v7 v9 50: 4 v2 v7 v9 50: 4 v3 v7 v9 50: 4 v4 v7 v9 50: 4 v5 v7 v9 50: 4 v6 v7 v9 50: 4 v1 v6 v9 50: 4 v2 v6 v9 50: 4 v3 v6 v9 50: 4 v4 v6 v9 50: 4 v5 v6 v9 50: 4 v1 v5 v9 50: 4 v2 v5 v9 50: 4 v3 v5 v9 50: 4 v4 v5 v9 50: 4 v1 v4 v9 50: 4 v2 v4 v9 50: 4 v3 v4 v9 50: 4 v1 v3 v9 50: 4 v2 v3 v9 50: 4 v1 v2 v9 50: 4 v1 v7 v8 50: 4 v2 v7 v8 50: 4 v3 v7 v8 50: 4 v4 v7 v8 50: 4 v5 v7 v8 50: 4 v6 v7 v8 50: 4 v1 v6 v8 50: 4 v2 v6 v8 50: 4 v3 v6 v8 50: 4 v4 v6 v8 50: 4 v5 v6 v8 50: 4 v1 v5 v8 50: 4 v2 v5 v8 50: 4 v3 v5 v8 50: 4 v4 v5 v8 50: 4 v1 v4 v8 50: 4 v2 v4 v8 50: 4 v3 v4 v8 50: 4 v1 v3 v8 50: 4 v2 v3 v8 50: 4 v1 v2 v8 50: 4 v1 v6 v7 50: 4 v2 v6 v7 50: 4 v3 v6 v7 50: 4 v4 v6 v7 50: 4 v5 v6 v7 50: 4 v1 v5 v7 50: 4 v2 v5 v7 50: 4 v3 v5 v7 50: 4 v4 v5 v7 50: 4 v1 v4 v7 50: 4 v2 v4 v7 50: 4 v3 v4 v7 50: 4 v1 v3 v7 50: 4 v2 v3 v7 50: 4 v1 v2 v7 50: 4 v1 v5 v6 50: 4 v2 v5 v6 50: 4 v3 v5 v6 50: 4 v4 v5 v6 50: 4 v1 v4 v6 50: 4 v2 v4 v6 50: 4 v3 v4 v6 50: 4 v1 v3 v6 50: 4 v2 v3 v6 50: 4 v1 v2 v6 50: 4 v1 v4 v5 50: 4 v2 v4 v5 50: 4 v3 v4 v5 50: 4 v1 v3 v5 50: 4 v2 v3 v5 50: 4 v1 v2 v5 50: 4 v1 v3 v4 50: 4 v2 v3 v4 50: 4 v1 v2 v4 50: 4 v1 v2 v3 50: 32 v1 v9 v10 50: 32 v2 v9 v10 50: 32 v3 v9 v10 50: 32 v4 v9 v10 50: 32 v5 v9 v10 50: 32 v6 v9 v10 50: 32 v7 v9 v10 50: 32 v8 v9 v10 50: 32 v1 v8 v10 50: 32 v2 v8 v10 50: 32 v3 v8 v10 50: 32 v4 v8 v10 50: 32 v5 v8 v10 50: 32 v6 v8 v10 50: 32 v7 v8 v10 50: 32 v1 v7 v10 50: 32 v2 v7 v10 50: 32 v3 v7 v10 50: 32 v4 v7 v10 50: 32 v5 v7 v10 50: 32 v6 v7 v10 50: 32 v1 v6 v10 50: 32 v2 v6 v10 50: 32 v3 v6 v10 50: 32 v4 v6 v10 50: 32 v5 v6 v10 50: 32 v1 v5 v10 50: 32 v2 v5 v10 50: 32 v3 v5 v10 50: 32 v4 v5 v10 50: 32 v1 v4 v10 50: 32 v2 v4 v10 50: 32 v3 v4 v10 50: 32 v1 v3 v10 50: 32 v2 v3 v10 50: 32 v1 v2 v10 50: 32 v1 v8 v9 50: 32 v2 v8 v9 50: 32 v3 v8 v9 50: 32 v4 v8 v9 50: 32 v5 v8 v9 50: 32 v6 v8 v9 50: 32 v7 v8 v9 50: 32 v1 v7 v9 50: 32 v2 v7 v9 50: 32 v3 v7 v9 50: 32 v4 v7 v9 50: 32 v5 v7 v9 50: 32 v6 v7 v9 50: 32 v1 v6 v9 50: 32 v2 v6 v9 50: 32 v3 v6 v9 50: 32 v4 v6 v9 50: 32 v5 v6 v9 50: 32 v1 v5 v9 50: 32 v2 v5 v9 50: 32 v3 v5 v9 50: 32 v4 v5 v9 50: 32 v1 v4 v9 50: 32 v2 v4 v9 50: 32 v3 v4 v9 50: 32 v1 v3 v9 50: 32 v2 v3 v9 50: 32 v1 v2 v9 50: 32 v1 v7 v8 50: 32 v2 v7 v8 50: 32 v3 v7 v8 50: 32 v4 v7 v8 50: 32 v5 v7 v8 50: 32 v6 v7 v8 50: 32 v1 v6 v8 50: 32 v2 v6 v8 50: 32 v3 v6 v8 50: 32 v4 v6 v8 50: 32 v5 v6 v8 50: 32 v1 v5 v8 50: 32 v2 v5 v8 50: 32 v3 v5 v8 50: 32 v4 v5 v8 50: 32 v1 v4 v8 50: 32 v2 v4 v8 50: 32 v3 v4 v8 50: 32 v1 v3 v8 50: 32 v2 v3 v8 50: 32 v1 v2 v8 50: 32 v1 v6 v7 50: 32 v2 v6 v7 50: 32 v3 v6 v7 50: 32 v4 v6 v7 50: 32 v5 v6 v7 50: 32 v1 v5 v7 50: 32 v2 v5 v7 50: 32 v3 v5 v7 50: 32 v4 v5 v7 50: 32 v1 v4 v7 50: 32 v2 v4 v7 50: 32 v3 v4 v7 50: 32 v1 v3 v7 50: 32 v2 v3 v7 50: 32 v1 v2 v7 50: 32 v1 v5 v6 50: 32 v2 v5 v6 50: 32 v3 v5 v6 50: 32 v4 v5 v6 50: 32 v1 v4 v6 50: 32 v2 v4 v6 50: 32 v3 v4 v6 50: 32 v1 v3 v6 50: 32 v2 v3 v6 50: 32 v1 v2 v6 50: 32 v1 v4 v5 50: 32 v2 v4 v5 50: 32 v3 v4 v5 50: 32 v1 v3 v5 50: 32 v2 v3 v5 50: 32 v1 v2 v5 50: 32 v1 v3 v4 50: 32 v2 v3 v4 50: 32 v1 v2 v4 50: 32 v1 v2 v3 0: 144 v1 v9 v10 0: 144 v2 v9 v10 0: 144 v3 v9 v10 0: 144 v4 v9 v10 0: 144 v5 v9 v10 0: 144 v6 v9 v10 0: 144 v7 v9 v10 0: 144 v8 v9 v10 0: 144 v1 v8 v10 0: 144 v2 v8 v10 0: 144 v3 v8 v10 0: 144 v4 v8 v10 0: 144 v5 v8 v10 0: 144 v6 v8 v10 0: 144 v7 v8 v10 0: 144 v1 v7 v10 0: 144 v2 v7 v10 0: 144 v3 v7 v10 0: 144 v4 v7 v10 0: 144 v5 v7 v10 0: 144 v6 v7 v10 0: 144 v1 v6 v10 0: 144 v2 v6 v10 0: 144 v3 v6 v10 0: 144 v4 v6 v10 0: 144 v5 v6 v10 0: 144 v1 v5 v10 0: 144 v2 v5 v10 0: 144 v3 v5 v10 0: 144 v4 v5 v10 0: 144 v1 v4 v10 0: 144 v2 v4 v10 0: 144 v3 v4 v10 0: 144 v1 v3 v10 0: 144 v2 v3 v10 0: 144 v1 v2 v10 0: 144 v1 v8 v9 0: 144 v2 v8 v9 0: 144 v3 v8 v9 0: 144 v4 v8 v9 0: 144 v5 v8 v9 0: 144 v6 v8 v9 0: 144 v7 v8 v9 0: 144 v1 v7 v9 0: 144 v2 v7 v9 0: 144 v3 v7 v9 0: 144 v4 v7 v9 0: 144 v5 v7 v9 0: 144 v6 v7 v9 0: 144 v1 v6 v9 0: 144 v2 v6 v9 0: 144 v3 v6 v9 0: 144 v4 v6 v9 0: 144 v5 v6 v9 0: 144 v1 v5 v9 0: 144 v2 v5 v9 0: 144 v3 v5 v9 0: 144 v4 v5 v9 0: 144 v1 v4 v9 0: 144 v2 v4 v9 0: 144 v3 v4 v9 0: 144 v1 v3 v9 0: 144 v2 v3 v9 0: 144 v1 v2 v9 0: 144 v1 v7 v8 0: 144 v2 v7 v8 0: 144 v3 v7 v8 0: 144 v4 v7 v8 0: 144 v5 v7 v8 0: 144 v6 v7 v8 0: 144 v1 v6 v8 0: 144 v2 v6 v8 0: 144 v3 v6 v8 0: 144 v4 v6 v8 0: 144 v5 v6 v8 0: 144 v1 v5 v8 0: 144 v2 v5 v8 0: 144 v3 v5 v8 0: 144 v4 v5 v8 0: 144 v1 v4 v8 0: 144 v2 v4 v8 0: 144 v3 v4 v8 0: 144 v1 v3 v8 0: 144 v2 v3 v8 0: 144 v1 v2 v8 0: 144 v1 v6 v7 0: 144 v2 v6 v7 0: 144 v3 v6 v7 0: 144 v4 v6 v7 0: 144 v5 v6 v7 0: 144 v1 v5 v7 0: 144 v2 v5 v7 0: 144 v3 v5 v7 0: 144 v4 v5 v7 0: 144 v1 v4 v7 0: 144 v2 v4 v7 0: 144 v3 v4 v7 0: 144 v1 v3 v7 0: 144 v2 v3 v7 0: 144 v1 v2 v7 0: 144 v1 v5 v6 0: 144 v2 v5 v6 0: 144 v3 v5 v6 0: 144 v4 v5 v6 0: 144 v1 v4 v6 0: 144 v2 v4 v6 0: 144 v3 v4 v6 0: 144 v1 v3 v6 0: 144 v2 v3 v6 0: 144 v1 v2 v6 0: 144 v1 v4 v5 0: 144 v2 v4 v5 0: 144 v3 v4 v5 0: 144 v1 v3 v5 0: 144 v2 v3 v5 0: 144 v1 v2 v5 0: 144 v1 v3 v4 0: 144 v2 v3 v4 0: 144 v1 v2 v4 0: 144 v1 v2 v3 ] ]] trans[DELIVER deriv["IAmRobot8_2dc925b0_fcf6_475a_8016_411ff22a3e58" 7 3 0.15814814814814815 type classic [2 96 ] rm[ 100: 2 v1 v17 v18 100: 2 v2 v17 v18 100: 2 v3 v17 v18 100: 2 v4 v17 v18 100: 2 v5 v17 v18 100: 2 v6 v17 v18 100: 2 v7 v17 v18 100: 2 v8 v17 v18 100: 2 v9 v17 v18 100: 2 v10 v17 v18 100: 2 v11 v17 v18 100: 2 v12 v17 v18 100: 2 v13 v17 v18 100: 2 v14 v17 v18 100: 2 v15 v17 v18 100: 2 v16 v17 v18 100: 2 v1 v16 v18 100: 2 v2 v16 v18 100: 2 v3 v16 v18 100: 2 v4 v16 v18 100: 2 v5 v16 v18 100: 2 v6 v16 v18 100: 2 v7 v16 v18 100: 2 v8 v16 v18 100: 2 v9 v16 v18 100: 2 v10 v16 v18 100: 2 v11 v16 v18 100: 2 v12 v16 v18 100: 2 v13 v16 v18 100: 2 v14 v16 v18 100: 2 v15 v16 v18 100: 2 v1 v15 v18 100: 2 v2 v15 v18 100: 2 v3 v15 v18 100: 2 v4 v15 v18 100: 2 v5 v15 v18 100: 2 v6 v15 v18 100: 2 v7 v15 v18 100: 2 v8 v15 v18 100: 2 v9 v15 v18 100: 2 v10 v15 v18 100: 2 v11 v15 v18 100: 2 v12 v15 v18 100: 2 v13 v15 v18 100: 2 v14 v15 v18 100: 2 v1 v14 v18 100: 2 v2 v14 v18 100: 2 v3 v14 v18 100: 2 v4 v14 v18 100: 2 v5 v14 v18 100: 2 v6 v14 v18 100: 2 v7 v14 v18 100: 2 v8 v14 v18 100: 2 v9 v14 v18 100: 2 v10 v14 v18 100: 2 v11 v14 v18 100: 2 v12 v14 v18 100: 2 v13 v14 v18 100: 2 v1 v13 v18 100: 2 v2 v13 v18 100: 2 v3 v13 v18 100: 2 v4 v13 v18 100: 2 v5 v13 v18 100: 2 v6 v13 v18 100: 2 v7 v13 v18 100: 2 v8 v13 v18 100: 2 v9 v13 v18 100: 2 v10 v13 v18 100: 2 v11 v13 v18 100: 2 v12 v13 v18 100: 2 v1 v12 v18 100: 2 v2 v12 v18 100: 2 v3 v12 v18 100: 2 v4 v12 v18 100: 2 v5 v12 v18 100: 2 v6 v12 v18 100: 2 v7 v12 v18 100: 2 v8 v12 v18 100: 2 v9 v12 v18 100: 2 v10 v12 v18 100: 2 v11 v12 v18 100: 2 v1 v11 v18 100: 2 v2 v11 v18 100: 2 v3 v11 v18 100: 2 v4 v11 v18 100: 2 v5 v11 v18 100: 2 v6 v11 v18 100: 2 v7 v11 v18 100: 2 v8 v11 v18 100: 2 v9 v11 v18 100: 2 v10 v11 v18 100: 2 v1 v10 v18 100: 2 v2 v10 v18 100: 2 v3 v10 v18 100: 2 v4 v10 v18 100: 2 v5 v10 v18 100: 2 v6 v10 v18 100: 2 v7 v10 v18 100: 2 v8 v10 v18 100: 2 v9 v10 v18 100: 2 v1 v9 v18 100: 2 v2 v9 v18 100: 2 v3 v9 v18 100: 2 v4 v9 v18 100: 2 v5 v9 v18 100: 2 v6 v9 v18 100: 2 v7 v9 v18 100: 2 v8 v9 v18 100: 2 v1 v8 v18 100: 2 v2 v8 v18 100: 2 v3 v8 v18 100: 2 v4 v8 v18 100: 2 v5 v8 v18 100: 2 v6 v8 v18 100: 2 v7 v8 v18 100: 2 v1 v7 v18 100: 2 v2 v7 v18 100: 2 v3 v7 v18 100: 2 v4 v7 v18 100: 2 v5 v7 v18 100: 2 v6 v7 v18 100: 2 v1 v6 v18 100: 2 v2 v6 v18 100: 2 v3 v6 v18 100: 2 v4 v6 v18 100: 2 v5 v6 v18 100: 2 v1 v5 v18 100: 2 v2 v5 v18 100: 2 v3 v5 v18 100: 2 v4 v5 v18 100: 2 v1 v4 v18 100: 2 v2 v4 v18 100: 2 v3 v4 v18 100: 2 v1 v3 v18 100: 2 v2 v3 v18 100: 2 v1 v2 v18 100: 2 v1 v16 v17 100: 2 v2 v16 v17 100: 2 v3 v16 v17 100: 2 v4 v16 v17 100: 2 v5 v16 v17 100: 2 v6 v16 v17 100: 2 v7 v16 v17 100: 2 v8 v16 v17 100: 2 v9 v16 v17 100: 2 v10 v16 v17 100: 2 v11 v16 v17 100: 2 v12 v16 v17 100: 2 v13 v16 v17 100: 2 v14 v16 v17 100: 2 v15 v16 v17 100: 2 v1 v15 v17 100: 2 v2 v15 v17 100: 2 v3 v15 v17 100: 2 v4 v15 v17 100: 2 v5 v15 v17 100: 2 v6 v15 v17 100: 2 v7 v15 v17 100: 2 v8 v15 v17 100: 2 v9 v15 v17 100: 2 v10 v15 v17 100: 2 v11 v15 v17 100: 2 v12 v15 v17 100: 2 v13 v15 v17 100: 2 v14 v15 v17 100: 2 v1 v14 v17 100: 2 v2 v14 v17 100: 2 v3 v14 v17 100: 2 v4 v14 v17 100: 2 v5 v14 v17 100: 2 v6 v14 v17 100: 2 v7 v14 v17 100: 2 v8 v14 v17 100: 2 v9 v14 v17 100: 2 v10 v14 v17 100: 2 v11 v14 v17 100: 2 v12 v14 v17 100: 2 v13 v14 v17 100: 2 v1 v13 v17 100: 2 v2 v13 v17 100: 2 v3 v13 v17 100: 2 v4 v13 v17 100: 2 v5 v13 v17 100: 2 v6 v13 v17 100: 2 v7 v13 v17 100: 2 v8 v13 v17 100: 2 v9 v13 v17 100: 2 v10 v13 v17 100: 2 v11 v13 v17 100: 2 v12 v13 v17 100: 2 v1 v12 v17 100: 2 v2 v12 v17 100: 2 v3 v12 v17 100: 2 v4 v12 v17 100: 2 v5 v12 v17 100: 2 v6 v12 v17 100: 2 v7 v12 v17 100: 2 v8 v12 v17 100: 2 v9 v12 v17 100: 2 v10 v12 v17 100: 2 v11 v12 v17 100: 2 v1 v11 v17 100: 2 v2 v11 v17 100: 2 v3 v11 v17 100: 2 v4 v11 v17 100: 2 v5 v11 v17 100: 2 v6 v11 v17 100: 2 v7 v11 v17 100: 2 v8 v11 v17 100: 2 v9 v11 v17 100: 2 v10 v11 v17 100: 2 v1 v10 v17 100: 2 v2 v10 v17 100: 2 v3 v10 v17 100: 2 v4 v10 v17 100: 2 v5 v10 v17 100: 2 v6 v10 v17 100: 2 v7 v10 v17 100: 2 v8 v10 v17 100: 2 v9 v10 v17 100: 2 v1 v9 v17 100: 2 v2 v9 v17 100: 2 v3 v9 v17 100: 2 v4 v9 v17 100: 2 v5 v9 v17 100: 2 v6 v9 v17 100: 2 v7 v9 v17 100: 2 v8 v9 v17 100: 2 v1 v8 v17 100: 2 v2 v8 v17 100: 2 v3 v8 v17 100: 2 v4 v8 v17 100: 2 v5 v8 v17 100: 2 v6 v8 v17 100: 2 v7 v8 v17 100: 2 v1 v7 v17 100: 2 v2 v7 v17 100: 2 v3 v7 v17 100: 2 v4 v7 v17 100: 2 v5 v7 v17 100: 2 v6 v7 v17 100: 2 v1 v6 v17 100: 2 v2 v6 v17 100: 2 v3 v6 v17 100: 2 v4 v6 v17 100: 2 v5 v6 v17 100: 2 v1 v5 v17 100: 2 v2 v5 v17 100: 2 v3 v5 v17 100: 2 v4 v5 v17 100: 2 v1 v4 v17 100: 2 v2 v4 v17 100: 2 v3 v4 v17 100: 2 v1 v3 v17 100: 2 v2 v3 v17 100: 2 v1 v2 v17 100: 2 v1 v15 v16 100: 2 v2 v15 v16 100: 2 v3 v15 v16 100: 2 v4 v15 v16 100: 2 v5 v15 v16 100: 2 v6 v15 v16 100: 2 v7 v15 v16 100: 2 v8 v15 v16 100: 2 v9 v15 v16 100: 2 v10 v15 v16 100: 2 v11 v15 v16 100: 2 v12 v15 v16 100: 2 v13 v15 v16 100: 2 v14 v15 v16 100: 2 v1 v14 v16 100: 2 v2 v14 v16 100: 2 v3 v14 v16 100: 2 v4 v14 v16 100: 2 v5 v14 v16 100: 2 v6 v14 v16 100: 2 v7 v14 v16 100: 2 v8 v14 v16 100: 2 v9 v14 v16 100: 2 v10 v14 v16 100: 2 v11 v14 v16 100: 2 v12 v14 v16 100: 2 v13 v14 v16 100: 2 v1 v13 v16 100: 2 v2 v13 v16 100: 2 v3 v13 v16 100: 2 v4 v13 v16 100: 2 v5 v13 v16 100: 2 v6 v13 v16 100: 2 v7 v13 v16 100: 2 v8 v13 v16 100: 2 v9 v13 v16 100: 2 v10 v13 v16 100: 2 v11 v13 v16 100: 2 v12 v13 v16 100: 2 v1 v12 v16 100: 2 v2 v12 v16 100: 2 v3 v12 v16 100: 2 v4 v12 v16 100: 2 v5 v12 v16 100: 2 v6 v12 v16 100: 2 v7 v12 v16 100: 2 v8 v12 v16 100: 2 v9 v12 v16 100: 2 v10 v12 v16 100: 2 v11 v12 v16 100: 2 v1 v11 v16 100: 2 v2 v11 v16 100: 2 v3 v11 v16 100: 2 v4 v11 v16 100: 2 v5 v11 v16 100: 2 v6 v11 v16 100: 2 v7 v11 v16 100: 2 v8 v11 v16 100: 2 v9 v11 v16 100: 2 v10 v11 v16 100: 2 v1 v10 v16 100: 2 v2 v10 v16 100: 2 v3 v10 v16 100: 2 v4 v10 v16 100: 2 v5 v10 v16 100: 2 v6 v10 v16 100: 2 v7 v10 v16 100: 2 v8 v10 v16 100: 2 v9 v10 v16 100: 2 v1 v9 v16 100: 2 v2 v9 v16 100: 2 v3 v9 v16 100: 2 v4 v9 v16 100: 2 v5 v9 v16 100: 2 v6 v9 v16 100: 2 v7 v9 v16 100: 2 v8 v9 v16 100: 2 v1 v8 v16 100: 2 v2 v8 v16 100: 2 v3 v8 v16 100: 2 v4 v8 v16 100: 2 v5 v8 v16 100: 2 v6 v8 v16 100: 2 v7 v8 v16 100: 2 v1 v7 v16 100: 2 v2 v7 v16 100: 2 v3 v7 v16 100: 2 v4 v7 v16 100: 2 v5 v7 v16 100: 2 v6 v7 v16 100: 2 v1 v6 v16 100: 2 v2 v6 v16 100: 2 v3 v6 v16 100: 2 v4 v6 v16 100: 2 v5 v6 v16 100: 2 v1 v5 v16 100: 2 v2 v5 v16 100: 2 v3 v5 v16 100: 2 v4 v5 v16 100: 2 v1 v4 v16 100: 2 v2 v4 v16 100: 2 v3 v4 v16 100: 2 v1 v3 v16 100: 2 v2 v3 v16 100: 2 v1 v2 v16 100: 2 v1 v14 v15 100: 2 v2 v14 v15 100: 2 v3 v14 v15 100: 2 v4 v14 v15 100: 2 v5 v14 v15 100: 2 v6 v14 v15 100: 2 v7 v14 v15 100: 2 v8 v14 v15 100: 2 v9 v14 v15 100: 2 v10 v14 v15 100: 2 v11 v14 v15 100: 2 v12 v14 v15 100: 2 v13 v14 v15 100: 2 v1 v13 v15 100: 2 v2 v13 v15 100: 2 v3 v13 v15 100: 2 v4 v13 v15 100: 2 v5 v13 v15 100: 2 v6 v13 v15 100: 2 v7 v13 v15 100: 2 v8 v13 v15 100: 2 v9 v13 v15 100: 2 v10 v13 v15 100: 2 v11 v13 v15 100: 2 v12 v13 v15 100: 2 v1 v12 v15 100: 2 v2 v12 v15 100: 2 v3 v12 v15 100: 2 v4 v12 v15 100: 2 v5 v12 v15 100: 2 v6 v12 v15 100: 2 v7 v12 v15 100: 2 v8 v12 v15 100: 2 v9 v12 v15 100: 2 v10 v12 v15 100: 2 v11 v12 v15 100: 2 v1 v11 v15 100: 2 v2 v11 v15 100: 2 v3 v11 v15 100: 2 v4 v11 v15 100: 2 v5 v11 v15 100: 2 v6 v11 v15 100: 2 v7 v11 v15 100: 2 v8 v11 v15 100: 2 v9 v11 v15 100: 2 v10 v11 v15 100: 2 v1 v10 v15 100: 2 v2 v10 v15 100: 2 v3 v10 v15 100: 2 v4 v10 v15 100: 2 v5 v10 v15 100: 2 v6 v10 v15 100: 2 v7 v10 v15 100: 2 v8 v10 v15 100: 2 v9 v10 v15 100: 2 v1 v9 v15 100: 2 v2 v9 v15 100: 2 v3 v9 v15 100: 2 v4 v9 v15 100: 2 v5 v9 v15 100: 2 v6 v9 v15 100: 2 v7 v9 v15 100: 2 v8 v9 v15 100: 2 v1 v8 v15 100: 2 v2 v8 v15 100: 2 v3 v8 v15 100: 2 v4 v8 v15 100: 2 v5 v8 v15 100: 2 v6 v8 v15 100: 2 v7 v8 v15 100: 2 v1 v7 v15 100: 2 v2 v7 v15 100: 2 v3 v7 v15 100: 2 v4 v7 v15 100: 2 v5 v7 v15 100: 2 v6 v7 v15 100: 2 v1 v6 v15 100: 2 v2 v6 v15 100: 2 v3 v6 v15 100: 2 v4 v6 v15 100: 2 v5 v6 v15 100: 2 v1 v5 v15 100: 2 v2 v5 v15 100: 2 v3 v5 v15 100: 2 v4 v5 v15 100: 2 v1 v4 v15 100: 2 v2 v4 v15 100: 2 v3 v4 v15 100: 2 v1 v3 v15 100: 2 v2 v3 v15 100: 2 v1 v2 v15 100: 2 v1 v13 v14 100: 2 v2 v13 v14 100: 2 v3 v13 v14 100: 2 v4 v13 v14 100: 2 v5 v13 v14 100: 2 v6 v13 v14 100: 2 v7 v13 v14 100: 2 v8 v13 v14 100: 2 v9 v13 v14 100: 2 v10 v13 v14 100: 2 v11 v13 v14 100: 2 v12 v13 v14 100: 2 v1 v12 v14 100: 2 v2 v12 v14 100: 2 v3 v12 v14 100: 2 v4 v12 v14 100: 2 v5 v12 v14 100: 2 v6 v12 v14 100: 2 v7 v12 v14 100: 2 v8 v12 v14 100: 2 v9 v12 v14 100: 2 v10 v12 v14 100: 2 v11 v12 v14 100: 2 v1 v11 v14 100: 2 v2 v11 v14 100: 2 v3 v11 v14 100: 2 v4 v11 v14 100: 2 v5 v11 v14 100: 2 v6 v11 v14 100: 2 v7 v11 v14 100: 2 v8 v11 v14 100: 2 v9 v11 v14 100: 2 v10 v11 v14 100: 2 v1 v10 v14 100: 2 v2 v10 v14 100: 2 v3 v10 v14 100: 2 v4 v10 v14 100: 2 v5 v10 v14 100: 2 v6 v10 v14 100: 2 v7 v10 v14 100: 2 v8 v10 v14 100: 2 v9 v10 v14 100: 2 v1 v9 v14 100: 2 v2 v9 v14 100: 2 v3 v9 v14 100: 2 v4 v9 v14 100: 2 v5 v9 v14 100: 2 v6 v9 v14 100: 2 v7 v9 v14 100: 2 v8 v9 v14 100: 2 v1 v8 v14 100: 2 v2 v8 v14 100: 2 v3 v8 v14 100: 2 v4 v8 v14 100: 2 v5 v8 v14 100: 2 v6 v8 v14 100: 2 v7 v8 v14 100: 2 v1 v7 v14 100: 2 v2 v7 v14 100: 2 v3 v7 v14 100: 2 v4 v7 v14 100: 2 v5 v7 v14 100: 2 v6 v7 v14 100: 2 v1 v6 v14 100: 2 v2 v6 v14 100: 2 v3 v6 v14 100: 2 v4 v6 v14 100: 2 v5 v6 v14 100: 2 v1 v5 v14 100: 2 v2 v5 v14 100: 2 v3 v5 v14 100: 2 v4 v5 v14 100: 2 v1 v4 v14 100: 2 v2 v4 v14 100: 2 v3 v4 v14 100: 2 v1 v3 v14 100: 2 v2 v3 v14 100: 2 v1 v2 v14 100: 2 v1 v12 v13 100: 2 v2 v12 v13 100: 2 v3 v12 v13 100: 2 v4 v12 v13 100: 2 v5 v12 v13 100: 2 v6 v12 v13 100: 2 v7 v12 v13 100: 2 v8 v12 v13 100: 2 v9 v12 v13 100: 2 v10 v12 v13 100: 2 v11 v12 v13 100: 2 v1 v11 v13 100: 2 v2 v11 v13 100: 2 v3 v11 v13 100: 2 v4 v11 v13 100: 2 v5 v11 v13 100: 2 v6 v11 v13 100: 2 v7 v11 v13 100: 2 v8 v11 v13 100: 2 v9 v11 v13 100: 2 v10 v11 v13 100: 2 v1 v10 v13 100: 2 v2 v10 v13 100: 2 v3 v10 v13 100: 2 v4 v10 v13 100: 2 v5 v10 v13 100: 2 v6 v10 v13 100: 2 v7 v10 v13 100: 2 v8 v10 v13 100: 2 v9 v10 v13 100: 2 v1 v9 v13 100: 2 v2 v9 v13 100: 2 v3 v9 v13 100: 2 v4 v9 v13 100: 2 v5 v9 v13 100: 2 v6 v9 v13 100: 2 v7 v9 v13 100: 2 v8 v9 v13 100: 2 v1 v8 v13 100: 2 v2 v8 v13 100: 2 v3 v8 v13 100: 2 v4 v8 v13 100: 2 v5 v8 v13 100: 2 v6 v8 v13 100: 2 v7 v8 v13 100: 2 v1 v7 v13 100: 2 v2 v7 v13 100: 2 v3 v7 v13 100: 2 v4 v7 v13 100: 2 v5 v7 v13 100: 2 v6 v7 v13 100: 2 v1 v6 v13 100: 2 v2 v6 v13 100: 2 v3 v6 v13 100: 2 v4 v6 v13 100: 2 v5 v6 v13 100: 2 v1 v5 v13 100: 2 v2 v5 v13 100: 2 v3 v5 v13 100: 2 v4 v5 v13 100: 2 v1 v4 v13 100: 2 v2 v4 v13 100: 2 v3 v4 v13 100: 2 v1 v3 v13 100: 2 v2 v3 v13 100: 2 v1 v2 v13 100: 2 v1 v11 v12 100: 2 v2 v11 v12 100: 2 v3 v11 v12 100: 2 v4 v11 v12 100: 2 v5 v11 v12 100: 2 v6 v11 v12 100: 2 v7 v11 v12 100: 2 v8 v11 v12 100: 2 v9 v11 v12 100: 2 v10 v11 v12 100: 2 v1 v10 v12 100: 2 v2 v10 v12 100: 2 v3 v10 v12 100: 2 v4 v10 v12 100: 2 v5 v10 v12 100: 2 v6 v10 v12 100: 2 v7 v10 v12 100: 2 v8 v10 v12 100: 2 v9 v10 v12 100: 2 v1 v9 v12 100: 2 v2 v9 v12 100: 2 v3 v9 v12 100: 2 v4 v9 v12 100: 2 v5 v9 v12 100: 2 v6 v9 v12 100: 2 v7 v9 v12 100: 2 v8 v9 v12 100: 2 v1 v8 v12 100: 2 v2 v8 v12 100: 2 v3 v8 v12 100: 2 v4 v8 v12 100: 2 v5 v8 v12 100: 2 v6 v8 v12 100: 2 v7 v8 v12 100: 2 v1 v7 v12 100: 2 v2 v7 v12 100: 2 v3 v7 v12 100: 2 v4 v7 v12 100: 2 v5 v7 v12 100: 2 v6 v7 v12 100: 2 v1 v6 v12 100: 2 v2 v6 v12 100: 2 v3 v6 v12 100: 2 v4 v6 v12 100: 2 v5 v6 v12 100: 2 v1 v5 v12 100: 2 v2 v5 v12 100: 2 v3 v5 v12 100: 2 v4 v5 v12 100: 2 v1 v4 v12 100: 2 v2 v4 v12 100: 2 v3 v4 v12 100: 2 v1 v3 v12 100: 2 v2 v3 v12 100: 2 v1 v2 v12 100: 2 v1 v10 v11 100: 2 v2 v10 v11 100: 2 v3 v10 v11 100: 2 v4 v10 v11 100: 2 v5 v10 v11 100: 2 v6 v10 v11 100: 2 v7 v10 v11 100: 2 v8 v10 v11 100: 2 v9 v10 v11 100: 2 v1 v9 v11 100: 2 v2 v9 v11 100: 2 v3 v9 v11 100: 2 v4 v9 v11 100: 2 v5 v9 v11 100: 2 v6 v9 v11 100: 2 v7 v9 v11 100: 2 v8 v9 v11 100: 2 v1 v8 v11 100: 2 v2 v8 v11 100: 2 v3 v8 v11 100: 2 v4 v8 v11 100: 2 v5 v8 v11 100: 2 v6 v8 v11 100: 2 v7 v8 v11 100: 2 v1 v7 v11 100: 2 v2 v7 v11 100: 2 v3 v7 v11 100: 2 v4 v7 v11 100: 2 v5 v7 v11 100: 2 v6 v7 v11 100: 2 v1 v6 v11 100: 2 v2 v6 v11 100: 2 v3 v6 v11 100: 2 v4 v6 v11 100: 2 v5 v6 v11 100: 2 v1 v5 v11 100: 2 v2 v5 v11 100: 2 v3 v5 v11 100: 2 v4 v5 v11 100: 2 v1 v4 v11 100: 2 v2 v4 v11 100: 2 v3 v4 v11 100: 2 v1 v3 v11 100: 2 v2 v3 v11 100: 2 v1 v2 v11 100: 2 v1 v9 v10 100: 2 v2 v9 v10 100: 2 v3 v9 v10 100: 2 v4 v9 v10 100: 2 v5 v9 v10 100: 2 v6 v9 v10 100: 2 v7 v9 v10 100: 2 v8 v9 v10 100: 2 v1 v8 v10 100: 2 v2 v8 v10 100: 2 v3 v8 v10 100: 2 v4 v8 v10 100: 2 v5 v8 v10 100: 2 v6 v8 v10 100: 2 v7 v8 v10 100: 2 v1 v7 v10 100: 2 v2 v7 v10 100: 2 v3 v7 v10 100: 2 v4 v7 v10 100: 2 v5 v7 v10 100: 2 v6 v7 v10 100: 2 v1 v6 v10 100: 2 v2 v6 v10 100: 2 v3 v6 v10 100: 2 v4 v6 v10 100: 2 v5 v6 v10 100: 2 v1 v5 v10 100: 2 v2 v5 v10 100: 2 v3 v5 v10 100: 2 v4 v5 v10 100: 2 v1 v4 v10 100: 2 v2 v4 v10 100: 2 v3 v4 v10 100: 2 v1 v3 v10 100: 2 v2 v3 v10 100: 2 v1 v2 v10 100: 2 v1 v8 v9 100: 2 v2 v8 v9 100: 2 v3 v8 v9 100: 2 v4 v8 v9 100: 2 v5 v8 v9 100: 2 v6 v8 v9 100: 2 v7 v8 v9 100: 2 v1 v7 v9 100: 2 v2 v7 v9 100: 2 v3 v7 v9 100: 2 v4 v7 v9 100: 2 v5 v7 v9 100: 2 v6 v7 v9 100: 2 v1 v6 v9 100: 2 v2 v6 v9 100: 2 v3 v6 v9 100: 2 v4 v6 v9 100: 2 v5 v6 v9 100: 2 v1 v5 v9 100: 2 v2 v5 v9 100: 2 v3 v5 v9 100: 2 v4 v5 v9 100: 2 v1 v4 v9 100: 2 v2 v4 v9 100: 2 v3 v4 v9 100: 2 v1 v3 v9 100: 2 v2 v3 v9 100: 2 v1 v2 v9 100: 2 v1 v7 v8 100: 2 v2 v7 v8 100: 2 v3 v7 v8 100: 2 v4 v7 v8 100: 2 v5 v7 v8 100: 2 v6 v7 v8 100: 2 v1 v6 v8 100: 2 v2 v6 v8 100: 2 v3 v6 v8 100: 2 v4 v6 v8 100: 2 v5 v6 v8 100: 2 v1 v5 v8 100: 2 v2 v5 v8 100: 2 v3 v5 v8 100: 2 v4 v5 v8 100: 2 v1 v4 v8 100: 2 v2 v4 v8 100: 2 v3 v4 v8 100: 2 v1 v3 v8 100: 2 v2 v3 v8 100: 2 v1 v2 v8 100: 2 v1 v6 v7 100: 2 v2 v6 v7 100: 2 v3 v6 v7 100: 2 v4 v6 v7 100: 2 v5 v6 v7 100: 2 v1 v5 v7 100: 2 v2 v5 v7 100: 2 v3 v5 v7 100: 2 v4 v5 v7 100: 2 v1 v4 v7 100: 2 v2 v4 v7 100: 2 v3 v4 v7 100: 2 v1 v3 v7 100: 2 v2 v3 v7 100: 2 v1 v2 v7 100: 2 v1 v5 v6 100: 2 v2 v5 v6 100: 2 v3 v5 v6 100: 2 v4 v5 v6 100: 2 v1 v4 v6 100: 2 v2 v4 v6 100: 2 v3 v4 v6 100: 2 v1 v3 v6 100: 2 v2 v3 v6 100: 2 v1 v2 v6 100: 2 v1 v4 v5 100: 2 v2 v4 v5 100: 2 v3 v4 v5 100: 2 v1 v3 v5 100: 2 v2 v3 v5 100: 2 v1 v2 v5 100: 2 v1 v3 v4 100: 2 v2 v3 v4 100: 2 v1 v2 v4 100: 2 v1 v2 v3 0: 96 v1 v17 v18 0: 96 v2 v17 v18 0: 96 v3 v17 v18 0: 96 v4 v17 v18 0: 96 v5 v17 v18 0: 96 v6 v17 v18 0: 96 v7 v17 v18 0: 96 v8 v17 v18 0: 96 v9 v17 v18 0: 96 v10 v17 v18 0: 96 v11 v17 v18 0: 96 v12 v17 v18 0: 96 v13 v17 v18 0: 96 v14 v17 v18 0: 96 v15 v17 v18 0: 96 v16 v17 v18 0: 96 v1 v16 v18 0: 96 v2 v16 v18 0: 96 v3 v16 v18 0: 96 v4 v16 v18 0: 96 v5 v16 v18 0: 96 v6 v16 v18 0: 96 v7 v16 v18 0: 96 v8 v16 v18 0: 96 v9 v16 v18 0: 96 v10 v16 v18 0: 96 v11 v16 v18 0: 96 v12 v16 v18 0: 96 v13 v16 v18 0: 96 v14 v16 v18 0: 96 v15 v16 v18 0: 96 v1 v15 v18 0: 96 v2 v15 v18 0: 96 v3 v15 v18 0: 96 v4 v15 v18 0: 96 v5 v15 v18 0: 96 v6 v15 v18 0: 96 v7 v15 v18 0: 96 v8 v15 v18 0: 96 v9 v15 v18 0: 96 v10 v15 v18 0: 96 v11 v15 v18 0: 96 v12 v15 v18 0: 96 v13 v15 v18 0: 96 v14 v15 v18 0: 96 v1 v14 v18 0: 96 v2 v14 v18 0: 96 v3 v14 v18 0: 96 v4 v14 v18 0: 96 v5 v14 v18 0: 96 v6 v14 v18 0: 96 v7 v14 v18 0: 96 v8 v14 v18 0: 96 v9 v14 v18 0: 96 v10 v14 v18 0: 96 v11 v14 v18 0: 96 v12 v14 v18 0: 96 v13 v14 v18 0: 96 v1 v13 v18 0: 96 v2 v13 v18 0: 96 v3 v13 v18 0: 96 v4 v13 v18 0: 96 v5 v13 v18 0: 96 v6 v13 v18 0: 96 v7 v13 v18 0: 96 v8 v13 v18 0: 96 v9 v13 v18 0: 96 v10 v13 v18 0: 96 v11 v13 v18 0: 96 v12 v13 v18 0: 96 v1 v12 v18 0: 96 v2 v12 v18 0: 96 v3 v12 v18 0: 96 v4 v12 v18 0: 96 v5 v12 v18 0: 96 v6 v12 v18 0: 96 v7 v12 v18 0: 96 v8 v12 v18 0: 96 v9 v12 v18 0: 96 v10 v12 v18 0: 96 v11 v12 v18 0: 96 v1 v11 v18 0: 96 v2 v11 v18 0: 96 v3 v11 v18 0: 96 v4 v11 v18 0: 96 v5 v11 v18 0: 96 v6 v11 v18 0: 96 v7 v11 v18 0: 96 v8 v11 v18 0: 96 v9 v11 v18 0: 96 v10 v11 v18 0: 96 v1 v10 v18 0: 96 v2 v10 v18 0: 96 v3 v10 v18 0: 96 v4 v10 v18 0: 96 v5 v10 v18 0: 96 v6 v10 v18 0: 96 v7 v10 v18 0: 96 v8 v10 v18 0: 96 v9 v10 v18 0: 96 v1 v9 v18 0: 96 v2 v9 v18 0: 96 v3 v9 v18 0: 96 v4 v9 v18 0: 96 v5 v9 v18 0: 96 v6 v9 v18 0: 96 v7 v9 v18 0: 96 v8 v9 v18 0: 96 v1 v8 v18 0: 96 v2 v8 v18 0: 96 v3 v8 v18 0: 96 v4 v8 v18 0: 96 v5 v8 v18 0: 96 v6 v8 v18 0: 96 v7 v8 v18 0: 96 v1 v7 v18 0: 96 v2 v7 v18 0: 96 v3 v7 v18 0: 96 v4 v7 v18 0: 96 v5 v7 v18 0: 96 v6 v7 v18 0: 96 v1 v6 v18 0: 96 v2 v6 v18 0: 96 v3 v6 v18 0: 96 v4 v6 v18 0: 96 v5 v6 v18 0: 96 v1 v5 v18 0: 96 v2 v5 v18 0: 96 v3 v5 v18 0: 96 v4 v5 v18 0: 96 v1 v4 v18 0: 96 v2 v4 v18 0: 96 v3 v4 v18 0: 96 v1 v3 v18 0: 96 v2 v3 v18 0: 96 v1 v2 v18 0: 96 v1 v16 v17 0: 96 v2 v16 v17 0: 96 v3 v16 v17 0: 96 v4 v16 v17 0: 96 v5 v16 v17 0: 96 v6 v16 v17 0: 96 v7 v16 v17 0: 96 v8 v16 v17 0: 96 v9 v16 v17 0: 96 v10 v16 v17 0: 96 v11 v16 v17 0: 96 v12 v16 v17 0: 96 v13 v16 v17 0: 96 v14 v16 v17 0: 96 v15 v16 v17 0: 96 v1 v15 v17 0: 96 v2 v15 v17 0: 96 v3 v15 v17 0: 96 v4 v15 v17 0: 96 v5 v15 v17 0: 96 v6 v15 v17 0: 96 v7 v15 v17 0: 96 v8 v15 v17 0: 96 v9 v15 v17 0: 96 v10 v15 v17 0: 96 v11 v15 v17 0: 96 v12 v15 v17 0: 96 v13 v15 v17 0: 96 v14 v15 v17 0: 96 v1 v14 v17 0: 96 v2 v14 v17 0: 96 v3 v14 v17 0: 96 v4 v14 v17 0: 96 v5 v14 v17 0: 96 v6 v14 v17 0: 96 v7 v14 v17 0: 96 v8 v14 v17 0: 96 v9 v14 v17 0: 96 v10 v14 v17 0: 96 v11 v14 v17 0: 96 v12 v14 v17 0: 96 v13 v14 v17 0: 96 v1 v13 v17 0: 96 v2 v13 v17 0: 96 v3 v13 v17 0: 96 v4 v13 v17 0: 96 v5 v13 v17 0: 96 v6 v13 v17 0: 96 v7 v13 v17 0: 96 v8 v13 v17 0: 96 v9 v13 v17 0: 96 v10 v13 v17 0: 96 v11 v13 v17 0: 96 v12 v13 v17 0: 96 v1 v12 v17 0: 96 v2 v12 v17 0: 96 v3 v12 v17 0: 96 v4 v12 v17 0: 96 v5 v12 v17 0: 96 v6 v12 v17 0: 96 v7 v12 v17 0: 96 v8 v12 v17 0: 96 v9 v12 v17 0: 96 v10 v12 v17 0: 96 v11 v12 v17 0: 96 v1 v11 v17 0: 96 v2 v11 v17 0: 96 v3 v11 v17 0: 96 v4 v11 v17 0: 96 v5 v11 v17 0: 96 v6 v11 v17 0: 96 v7 v11 v17 0: 96 v8 v11 v17 0: 96 v9 v11 v17 0: 96 v10 v11 v17 0: 96 v1 v10 v17 0: 96 v2 v10 v17 0: 96 v3 v10 v17 0: 96 v4 v10 v17 0: 96 v5 v10 v17 0: 96 v6 v10 v17 0: 96 v7 v10 v17 0: 96 v8 v10 v17 0: 96 v9 v10 v17 0: 96 v1 v9 v17 0: 96 v2 v9 v17 0: 96 v3 v9 v17 0: 96 v4 v9 v17 0: 96 v5 v9 v17 0: 96 v6 v9 v17 0: 96 v7 v9 v17 0: 96 v8 v9 v17 0: 96 v1 v8 v17 0: 96 v2 v8 v17 0: 96 v3 v8 v17 0: 96 v4 v8 v17 0: 96 v5 v8 v17 0: 96 v6 v8 v17 0: 96 v7 v8 v17 0: 96 v1 v7 v17 0: 96 v2 v7 v17 0: 96 v3 v7 v17 0: 96 v4 v7 v17 0: 96 v5 v7 v17 0: 96 v6 v7 v17 0: 96 v1 v6 v17 0: 96 v2 v6 v17 0: 96 v3 v6 v17 0: 96 v4 v6 v17 0: 96 v5 v6 v17 0: 96 v1 v5 v17 0: 96 v2 v5 v17 0: 96 v3 v5 v17 0: 96 v4 v5 v17 0: 96 v1 v4 v17 0: 96 v2 v4 v17 0: 96 v3 v4 v17 0: 96 v1 v3 v17 0: 96 v2 v3 v17 0: 96 v1 v2 v17 0: 96 v1 v15 v16 0: 96 v2 v15 v16 0: 96 v3 v15 v16 0: 96 v4 v15 v16 0: 96 v5 v15 v16 0: 96 v6 v15 v16 0: 96 v7 v15 v16 0: 96 v8 v15 v16 0: 96 v9 v15 v16 0: 96 v10 v15 v16 0: 96 v11 v15 v16 0: 96 v12 v15 v16 0: 96 v13 v15 v16 0: 96 v14 v15 v16 0: 96 v1 v14 v16 0: 96 v2 v14 v16 0: 96 v3 v14 v16 0: 96 v4 v14 v16 0: 96 v5 v14 v16 0: 96 v6 v14 v16 0: 96 v7 v14 v16 0: 96 v8 v14 v16 0: 96 v9 v14 v16 0: 96 v10 v14 v16 0: 96 v11 v14 v16 0: 96 v12 v14 v16 0: 96 v13 v14 v16 0: 96 v1 v13 v16 0: 96 v2 v13 v16 0: 96 v3 v13 v16 0: 96 v4 v13 v16 0: 96 v5 v13 v16 0: 96 v6 v13 v16 0: 96 v7 v13 v16 0: 96 v8 v13 v16 0: 96 v9 v13 v16 0: 96 v10 v13 v16 0: 96 v11 v13 v16 0: 96 v12 v13 v16 0: 96 v1 v12 v16 0: 96 v2 v12 v16 0: 96 v3 v12 v16 0: 96 v4 v12 v16 0: 96 v5 v12 v16 0: 96 v6 v12 v16 0: 96 v7 v12 v16 0: 96 v8 v12 v16 0: 96 v9 v12 v16 0: 96 v10 v12 v16 0: 96 v11 v12 v16 0: 96 v1 v11 v16 0: 96 v2 v11 v16 0: 96 v3 v11 v16 0: 96 v4 v11 v16 0: 96 v5 v11 v16 0: 96 v6 v11 v16 0: 96 v7 v11 v16 0: 96 v8 v11 v16 0: 96 v9 v11 v16 0: 96 v10 v11 v16 0: 96 v1 v10 v16 0: 96 v2 v10 v16 0: 96 v3 v10 v16 0: 96 v4 v10 v16 0: 96 v5 v10 v16 0: 96 v6 v10 v16 0: 96 v7 v10 v16 0: 96 v8 v10 v16 0: 96 v9 v10 v16 0: 96 v1 v9 v16 0: 96 v2 v9 v16 0: 96 v3 v9 v16 0: 96 v4 v9 v16 0: 96 v5 v9 v16 0: 96 v6 v9 v16 0: 96 v7 v9 v16 0: 96 v8 v9 v16 0: 96 v1 v8 v16 0: 96 v2 v8 v16 0: 96 v3 v8 v16 0: 96 v4 v8 v16 0: 96 v5 v8 v16 0: 96 v6 v8 v16 0: 96 v7 v8 v16 0: 96 v1 v7 v16 0: 96 v2 v7 v16 0: 96 v3 v7 v16 0: 96 v4 v7 v16 0: 96 v5 v7 v16 0: 96 v6 v7 v16 0: 96 v1 v6 v16 0: 96 v2 v6 v16 0: 96 v3 v6 v16 0: 96 v4 v6 v16 0: 96 v5 v6 v16 0: 96 v1 v5 v16 0: 96 v2 v5 v16 0: 96 v3 v5 v16 0: 96 v4 v5 v16 0: 96 v1 v4 v16 0: 96 v2 v4 v16 0: 96 v3 v4 v16 0: 96 v1 v3 v16 0: 96 v2 v3 v16 0: 96 v1 v2 v16 0: 96 v1 v14 v15 0: 96 v2 v14 v15 0: 96 v3 v14 v15 0: 96 v4 v14 v15 0: 96 v5 v14 v15 0: 96 v6 v14 v15 0: 96 v7 v14 v15 0: 96 v8 v14 v15 0: 96 v9 v14 v15 0: 96 v10 v14 v15 0: 96 v11 v14 v15 0: 96 v12 v14 v15 0: 96 v13 v14 v15 0: 96 v1 v13 v15 0: 96 v2 v13 v15 0: 96 v3 v13 v15 0: 96 v4 v13 v15 0: 96 v5 v13 v15 0: 96 v6 v13 v15 0: 96 v7 v13 v15 0: 96 v8 v13 v15 0: 96 v9 v13 v15 0: 96 v10 v13 v15 0: 96 v11 v13 v15 0: 96 v12 v13 v15 0: 96 v1 v12 v15 0: 96 v2 v12 v15 0: 96 v3 v12 v15 0: 96 v4 v12 v15 0: 96 v5 v12 v15 0: 96 v6 v12 v15 0: 96 v7 v12 v15 0: 96 v8 v12 v15 0: 96 v9 v12 v15 0: 96 v10 v12 v15 0: 96 v11 v12 v15 0: 96 v1 v11 v15 0: 96 v2 v11 v15 0: 96 v3 v11 v15 0: 96 v4 v11 v15 0: 96 v5 v11 v15 0: 96 v6 v11 v15 0: 96 v7 v11 v15 0: 96 v8 v11 v15 0: 96 v9 v11 v15 0: 96 v10 v11 v15 0: 96 v1 v10 v15 0: 96 v2 v10 v15 0: 96 v3 v10 v15 0: 96 v4 v10 v15 0: 96 v5 v10 v15 0: 96 v6 v10 v15 0: 96 v7 v10 v15 0: 96 v8 v10 v15 0: 96 v9 v10 v15 0: 96 v1 v9 v15 0: 96 v2 v9 v15 0: 96 v3 v9 v15 0: 96 v4 v9 v15 0: 96 v5 v9 v15 0: 96 v6 v9 v15 0: 96 v7 v9 v15 0: 96 v8 v9 v15 0: 96 v1 v8 v15 0: 96 v2 v8 v15 0: 96 v3 v8 v15 0: 96 v4 v8 v15 0: 96 v5 v8 v15 0: 96 v6 v8 v15 0: 96 v7 v8 v15 0: 96 v1 v7 v15 0: 96 v2 v7 v15 0: 96 v3 v7 v15 0: 96 v4 v7 v15 0: 96 v5 v7 v15 0: 96 v6 v7 v15 0: 96 v1 v6 v15 0: 96 v2 v6 v15 0: 96 v3 v6 v15 0: 96 v4 v6 v15 0: 96 v5 v6 v15 0: 96 v1 v5 v15 0: 96 v2 v5 v15 0: 96 v3 v5 v15 0: 96 v4 v5 v15 0: 96 v1 v4 v15 0: 96 v2 v4 v15 0: 96 v3 v4 v15 0: 96 v1 v3 v15 0: 96 v2 v3 v15 0: 96 v1 v2 v15 0: 96 v1 v13 v14 0: 96 v2 v13 v14 0: 96 v3 v13 v14 0: 96 v4 v13 v14 0: 96 v5 v13 v14 0: 96 v6 v13 v14 0: 96 v7 v13 v14 0: 96 v8 v13 v14 0: 96 v9 v13 v14 0: 96 v10 v13 v14 0: 96 v11 v13 v14 0: 96 v12 v13 v14 0: 96 v1 v12 v14 0: 96 v2 v12 v14 0: 96 v3 v12 v14 0: 96 v4 v12 v14 0: 96 v5 v12 v14 0: 96 v6 v12 v14 0: 96 v7 v12 v14 0: 96 v8 v12 v14 0: 96 v9 v12 v14 0: 96 v10 v12 v14 0: 96 v11 v12 v14 0: 96 v1 v11 v14 0: 96 v2 v11 v14 0: 96 v3 v11 v14 0: 96 v4 v11 v14 0: 96 v5 v11 v14 0: 96 v6 v11 v14 0: 96 v7 v11 v14 0: 96 v8 v11 v14 0: 96 v9 v11 v14 0: 96 v10 v11 v14 0: 96 v1 v10 v14 0: 96 v2 v10 v14 0: 96 v3 v10 v14 0: 96 v4 v10 v14 0: 96 v5 v10 v14 0: 96 v6 v10 v14 0: 96 v7 v10 v14 0: 96 v8 v10 v14 0: 96 v9 v10 v14 0: 96 v1 v9 v14 0: 96 v2 v9 v14 0: 96 v3 v9 v14 0: 96 v4 v9 v14 0: 96 v5 v9 v14 0: 96 v6 v9 v14 0: 96 v7 v9 v14 0: 96 v8 v9 v14 0: 96 v1 v8 v14 0: 96 v2 v8 v14 0: 96 v3 v8 v14 0: 96 v4 v8 v14 0: 96 v5 v8 v14 0: 96 v6 v8 v14 0: 96 v7 v8 v14 0: 96 v1 v7 v14 0: 96 v2 v7 v14 0: 96 v3 v7 v14 0: 96 v4 v7 v14 0: 96 v5 v7 v14 0: 96 v6 v7 v14 0: 96 v1 v6 v14 0: 96 v2 v6 v14 0: 96 v3 v6 v14 0: 96 v4 v6 v14 0: 96 v5 v6 v14 0: 96 v1 v5 v14 0: 96 v2 v5 v14 0: 96 v3 v5 v14 0: 96 v4 v5 v14 0: 96 v1 v4 v14 0: 96 v2 v4 v14 0: 96 v3 v4 v14 0: 96 v1 v3 v14 0: 96 v2 v3 v14 0: 96 v1 v2 v14 0: 96 v1 v12 v13 0: 96 v2 v12 v13 0: 96 v3 v12 v13 0: 96 v4 v12 v13 0: 96 v5 v12 v13 0: 96 v6 v12 v13 0: 96 v7 v12 v13 0: 96 v8 v12 v13 0: 96 v9 v12 v13 0: 96 v10 v12 v13 0: 96 v11 v12 v13 0: 96 v1 v11 v13 0: 96 v2 v11 v13 0: 96 v3 v11 v13 0: 96 v4 v11 v13 0: 96 v5 v11 v13 0: 96 v6 v11 v13 0: 96 v7 v11 v13 0: 96 v8 v11 v13 0: 96 v9 v11 v13 0: 96 v10 v11 v13 0: 96 v1 v10 v13 0: 96 v2 v10 v13 0: 96 v3 v10 v13 0: 96 v4 v10 v13 0: 96 v5 v10 v13 0: 96 v6 v10 v13 0: 96 v7 v10 v13 0: 96 v8 v10 v13 0: 96 v9 v10 v13 0: 96 v1 v9 v13 0: 96 v2 v9 v13 0: 96 v3 v9 v13 0: 96 v4 v9 v13 0: 96 v5 v9 v13 0: 96 v6 v9 v13 0: 96 v7 v9 v13 0: 96 v8 v9 v13 0: 96 v1 v8 v13 0: 96 v2 v8 v13 0: 96 v3 v8 v13 0: 96 v4 v8 v13 0: 96 v5 v8 v13 0: 96 v6 v8 v13 0: 96 v7 v8 v13 0: 96 v1 v7 v13 0: 96 v2 v7 v13 0: 96 v3 v7 v13 0: 96 v4 v7 v13 0: 96 v5 v7 v13 0: 96 v6 v7 v13 0: 96 v1 v6 v13 0: 96 v2 v6 v13 0: 96 v3 v6 v13 0: 96 v4 v6 v13 0: 96 v5 v6 v13 0: 96 v1 v5 v13 0: 96 v2 v5 v13 0: 96 v3 v5 v13 0: 96 v4 v5 v13 0: 96 v1 v4 v13 0: 96 v2 v4 v13 0: 96 v3 v4 v13 0: 96 v1 v3 v13 0: 96 v2 v3 v13 0: 96 v1 v2 v13 0: 96 v1 v11 v12 0: 96 v2 v11 v12 0: 96 v3 v11 v12 0: 96 v4 v11 v12 0: 96 v5 v11 v12 0: 96 v6 v11 v12 0: 96 v7 v11 v12 0: 96 v8 v11 v12 0: 96 v9 v11 v12 0: 96 v10 v11 v12 0: 96 v1 v10 v12 0: 96 v2 v10 v12 0: 96 v3 v10 v12 0: 96 v4 v10 v12 0: 96 v5 v10 v12 0: 96 v6 v10 v12 0: 96 v7 v10 v12 0: 96 v8 v10 v12 0: 96 v9 v10 v12 0: 96 v1 v9 v12 0: 96 v2 v9 v12 0: 96 v3 v9 v12 0: 96 v4 v9 v12 0: 96 v5 v9 v12 0: 96 v6 v9 v12 0: 96 v7 v9 v12 0: 96 v8 v9 v12 0: 96 v1 v8 v12 0: 96 v2 v8 v12 0: 96 v3 v8 v12 0: 96 v4 v8 v12 0: 96 v5 v8 v12 0: 96 v6 v8 v12 0: 96 v7 v8 v12 0: 96 v1 v7 v12 0: 96 v2 v7 v12 0: 96 v3 v7 v12 0: 96 v4 v7 v12 0: 96 v5 v7 v12 0: 96 v6 v7 v12 0: 96 v1 v6 v12 0: 96 v2 v6 v12 0: 96 v3 v6 v12 0: 96 v4 v6 v12 0: 96 v5 v6 v12 0: 96 v1 v5 v12 0: 96 v2 v5 v12 0: 96 v3 v5 v12 0: 96 v4 v5 v12 0: 96 v1 v4 v12 0: 96 v2 v4 v12 0: 96 v3 v4 v12 0: 96 v1 v3 v12 0: 96 v2 v3 v12 0: 96 v1 v2 v12 0: 96 v1 v10 v11 0: 96 v2 v10 v11 0: 96 v3 v10 v11 0: 96 v4 v10 v11 0: 96 v5 v10 v11 0: 96 v6 v10 v11 0: 96 v7 v10 v11 0: 96 v8 v10 v11 0: 96 v9 v10 v11 0: 96 v1 v9 v11 0: 96 v2 v9 v11 0: 96 v3 v9 v11 0: 96 v4 v9 v11 0: 96 v5 v9 v11 0: 96 v6 v9 v11 0: 96 v7 v9 v11 0: 96 v8 v9 v11 0: 96 v1 v8 v11 0: 96 v2 v8 v11 0: 96 v3 v8 v11 0: 96 v4 v8 v11 0: 96 v5 v8 v11 0: 96 v6 v8 v11 0: 96 v7 v8 v11 0: 96 v1 v7 v11 0: 96 v2 v7 v11 0: 96 v3 v7 v11 0: 96 v4 v7 v11 0: 96 v5 v7 v11 0: 96 v6 v7 v11 0: 96 v1 v6 v11 0: 96 v2 v6 v11 0: 96 v3 v6 v11 0: 96 v4 v6 v11 0: 96 v5 v6 v11 0: 96 v1 v5 v11 0: 96 v2 v5 v11 0: 96 v3 v5 v11 0: 96 v4 v5 v11 0: 96 v1 v4 v11 0: 96 v2 v4 v11 0: 96 v3 v4 v11 0: 96 v1 v3 v11 0: 96 v2 v3 v11 0: 96 v1 v2 v11 0: 96 v1 v9 v10 0: 96 v2 v9 v10 0: 96 v3 v9 v10 0: 96 v4 v9 v10 0: 96 v5 v9 v10 0: 96 v6 v9 v10 0: 96 v7 v9 v10 0: 96 v8 v9 v10 0: 96 v1 v8 v10 0: 96 v2 v8 v10 0: 96 v3 v8 v10 0: 96 v4 v8 v10 0: 96 v5 v8 v10 0: 96 v6 v8 v10 0: 96 v7 v8 v10 0: 96 v1 v7 v10 0: 96 v2 v7 v10 0: 96 v3 v7 v10 0: 96 v4 v7 v10 0: 96 v5 v7 v10 0: 96 v6 v7 v10 0: 96 v1 v6 v10 0: 96 v2 v6 v10 0: 96 v3 v6 v10 0: 96 v4 v6 v10 0: 96 v5 v6 v10 0: 96 v1 v5 v10 0: 96 v2 v5 v10 0: 96 v3 v5 v10 0: 96 v4 v5 v10 0: 96 v1 v4 v10 0: 96 v2 v4 v10 0: 96 v3 v4 v10 0: 96 v1 v3 v10 0: 96 v2 v3 v10 0: 96 v1 v2 v10 0: 96 v1 v8 v9 0: 96 v2 v8 v9 0: 96 v3 v8 v9 0: 96 v4 v8 v9 0: 96 v5 v8 v9 0: 96 v6 v8 v9 0: 96 v7 v8 v9 0: 96 v1 v7 v9 0: 96 v2 v7 v9 0: 96 v3 v7 v9 0: 96 v4 v7 v9 0: 96 v5 v7 v9 0: 96 v6 v7 v9 0: 96 v1 v6 v9 0: 96 v2 v6 v9 0: 96 v3 v6 v9 0: 96 v4 v6 v9 0: 96 v5 v6 v9 0: 96 v1 v5 v9 0: 96 v2 v5 v9 0: 96 v3 v5 v9 0: 96 v4 v5 v9 0: 96 v1 v4 v9 0: 96 v2 v4 v9 0: 96 v3 v4 v9 0: 96 v1 v3 v9 0: 96 v2 v3 v9 0: 96 v1 v2 v9 0: 96 v1 v7 v8 0: 96 v2 v7 v8 0: 96 v3 v7 v8 0: 96 v4 v7 v8 0: 96 v5 v7 v8 0: 96 v6 v7 v8 0: 96 v1 v6 v8 0: 96 v2 v6 v8 0: 96 v3 v6 v8 0: 96 v4 v6 v8 0: 96 v5 v6 v8 0: 96 v1 v5 v8 0: 96 v2 v5 v8 0: 96 v3 v5 v8 0: 96 v4 v5 v8 0: 96 v1 v4 v8 0: 96 v2 v4 v8 0: 96 v3 v4 v8 0: 96 v1 v3 v8 0: 96 v2 v3 v8 0: 96 v1 v2 v8 0: 96 v1 v6 v7 0: 96 v2 v6 v7 0: 96 v3 v6 v7 0: 96 v4 v6 v7 0: 96 v5 v6 v7 0: 96 v1 v5 v7 0: 96 v2 v5 v7 0: 96 v3 v5 v7 0: 96 v4 v5 v7 0: 96 v1 v4 v7 0: 96 v2 v4 v7 0: 96 v3 v4 v7 0: 96 v1 v3 v7 0: 96 v2 v3 v7 0: 96 v1 v2 v7 0: 96 v1 v5 v6 0: 96 v2 v5 v6 0: 96 v3 v5 v6 0: 96 v4 v5 v6 0: 96 v1 v4 v6 0: 96 v2 v4 v6 0: 96 v3 v4 v6 0: 96 v1 v3 v6 0: 96 v2 v3 v6 0: 96 v1 v2 v6 0: 96 v1 v4 v5 0: 96 v2 v4 v5 0: 96 v3 v4 v5 0: 96 v1 v3 v5 0: 96 v2 v3 v5 0: 96 v1 v2 v5 0: 96 v1 v3 v4 0: 96 v2 v3 v4 0: 96 v1 v2 v4 0: 96 v1 v2 v3 ] ]] trans[FINISH deriv["BobLoblaw8_75f8eae5_b531_4c2a_9200_4464dad76705" 9 7 0.3055649254999999 type classic [63 128 ] rm[ 1: 63 v1 v2 v3 1: 63 v1 v2 v4 1: 63 v1 v2 v5 1: 63 v1 v3 v4 1: 63 v1 v3 v5 1: 63 v1 v4 v5 1: 63 v2 v3 v4 1: 63 v2 v3 v5 1: 63 v2 v4 v5 1: 63 v3 v4 v5 1: 128 v6 v7 v8 1: 128 v6 v7 v9 1: 128 v6 v7 v10 1: 128 v6 v8 v9 1: 128 v6 v8 v10 1: 128 v6 v9 v10 1: 128 v7 v8 v9 1: 128 v7 v8 v10 1: 128 v7 v9 v10 1: 128 v8 v9 v10 ] finish[(assignment:[ v1 ! v2 ! v3 ! v4 v5 v6 v7 v8 v9 v10 ]) 1.0]]] trans[FINISH deriv["Bender8_89ca806f_701c_4348_931a_ca288a79cc82" 9 7 0.3055649254999999 type classic [29 140 ] rm[ 1: 29 v1 v2 v3 1: 29 v1 v2 v4 1: 29 v1 v2 v5 1: 29 v1 v3 v4 1: 29 v1 v3 v5 1: 29 v1 v4 v5 1: 29 v2 v3 v4 1: 29 v2 v3 v5 1: 29 v2 v4 v5 1: 29 v3 v4 v5 1: 140 v6 v7 v8 1: 140 v6 v7 v9 1: 140 v6 v7 v10 1: 140 v6 v8 v9 1: 140 v6 v8 v10 1: 140 v6 v9 v10 1: 140 v7 v8 v9 1: 140 v7 v8 v10 1: 140 v7 v9 v10 1: 140 v8 v9 v10 ] finish[(assignment:[ ! v1 ! v2 ! v3 ! v4 v5 v6 v7 v8 v9 v10 ]) 1.0]]] trans[FINISH deriv["Bender8_4db99ccf_88c2_4057_b53f_bcaac547652c" 9 7 0.365 type classic [15 228 ] rm[ 1: 15 v1 v2 v3 1: 15 v1 v2 v4 1: 15 v1 v2 v5 1: 15 v1 v3 v4 1: 15 v1 v3 v5 1: 15 v1 v4 v5 1: 15 v2 v3 v4 1: 15 v2 v3 v5 1: 15 v2 v4 v5 1: 15 v3 v4 v5 1: 228 v6 v7 v8 1: 228 v6 v7 v9 1: 228 v6 v7 v10 1: 228 v6 v8 v9 1: 228 v6 v8 v10 1: 228 v6 v9 v10 1: 228 v7 v8 v9 1: 228 v7 v8 v10 1: 228 v7 v9 v10 1: 228 v8 v9 v10 ] finish[(assignment:[ v1 v2 ! v3 ! v4 ! v5 v6 v7 v8 v9 v10 ]) 1.0]]]]