var0:
  0: Atom robot_location(r1, v9)
  1: <none of those>
var1:
  0: Atom robot_location(r1, v19)
  1: <none of those>
var2:
  0: Atom robot_location(r4, v26)
  1: <none of those>
var3:
  0: Atom robot_location(r4, v1)
  1: <none of those>
var4:
  0: Atom no_robot(v14)
  1: <none of those>
var5:
  0: Atom robot_location(r2, v24)
  1: <none of those>
var6:
  0: Atom robot_location(r3, v16)
  1: <none of those>
var7:
  0: Atom no_robot(v6)
  1: <none of those>
var8:
  0: Atom robot_location(r2, v15)
  1: <none of those>
var9:
  0: Atom robot_location(r2, v7)
  1: <none of those>
var10:
  0: Atom robot_location(r5, v20)
  1: <none of those>
var11:
  0: Atom robot_location(r4, v3)
  1: <none of those>
var12:
  0: Atom robot_location(r4, v2)
  1: <none of those>
var13:
  0: Atom no_robot(v25)
  1: <none of those>
var14:
  0: Atom robot_location(r6, v21)
  1: <none of those>
var15:
  0: Atom robot_location(r4, v0)
  1: <none of those>
var16:
  0: Atom robot_location(r1, v23)
  1: <none of those>
var17:
  0: Atom robot_location(r2, v20)
  1: <none of those>
var18:
  0: Atom robot_location(r1, v8)
  1: <none of those>
var19:
  0: Atom robot_location(r2, v25)
  1: <none of those>
var20:
  0: Atom robot_location(r6, v12)
  1: <none of those>
var21:
  0: Atom no_robot(v4)
  1: <none of those>
var22:
  0: Atom robot_location(r4, v13)
  1: <none of those>
var23:
  0: Atom robot_location(r6, v23)
  1: <none of those>
var24:
  0: Atom robot_location(r1, v20)
  1: <none of those>
var25:
  0: Atom robot_location(r3, v18)
  1: <none of those>
var26:
  0: Atom no_robot(v12)
  1: <none of those>
var27:
  0: Atom robot_location(r4, v17)
  1: <none of those>
var28:
  0: Atom robot_location(r1, v13)
  1: <none of those>
var29:
  0: Atom robot_location(r5, v22)
  1: <none of those>
var30:
  0: Atom robot_location(r4, v11)
  1: <none of those>
var31:
  0: Atom robot_location(r4, v23)
  1: <none of those>
var32:
  0: Atom robot_location(r1, v22)
  1: <none of those>
var33:
  0: Atom robot_location(r2, v2)
  1: <none of those>
var34:
  0: Atom robot_location(r4, v15)
  1: <none of those>
var35:
  0: Atom no_robot(v23)
  1: <none of those>
var36:
  0: Atom robot_location(r5, v8)
  1: <none of those>
var37:
  0: Atom robot_location(r4, v12)
  1: <none of those>
var38:
  0: Atom robot_location(r5, v24)
  1: <none of those>
var39:
  0: Atom robot_location(r5, v5)
  1: <none of those>
var40:
  0: Atom robot_location(r6, v26)
  1: <none of those>
var41:
  0: Atom robot_location(r2, v18)
  1: <none of those>
var42:
  0: Atom robot_location(r4, v16)
  1: <none of those>
var43:
  0: Atom robot_location(r2, v10)
  1: <none of those>
var44:
  0: Atom robot_location(r6, v22)
  1: <none of those>
var45:
  0: Atom robot_location(r1, v5)
  1: <none of those>
var46:
  0: Atom robot_location(r4, v5)
  1: <none of those>
var47:
  0: Atom robot_location(r5, v10)
  1: <none of those>
var48:
  0: Atom robot_location(r3, v3)
  1: <none of those>
var49:
  0: Atom no_robot(v2)
  1: <none of those>
var50:
  0: Atom robot_location(r6, v7)
  1: <none of those>
var51:
  0: Atom robot_location(r1, v1)
  1: <none of those>
var52:
  0: Atom no_robot(v5)
  1: <none of those>
var53:
  0: Atom robot_location(r5, v14)
  1: <none of those>
var54:
  0: Atom robot_location(r1, v26)
  1: <none of those>
var55:
  0: Atom robot_location(r4, v9)
  1: <none of those>
var56:
  0: Atom robot_location(r6, v3)
  1: <none of those>
var57:
  0: Atom robot_location(r3, v11)
  1: <none of those>
var58:
  0: Atom no_robot(v26)
  1: <none of those>
var59:
  0: Atom no_robot(v21)
  1: <none of those>
var60:
  0: Atom no_robot(v7)
  1: <none of those>
var61:
  0: Atom robot_location(r6, v4)
  1: <none of those>
var62:
  0: Atom robot_location(r4, v27)
  1: <none of those>
var63:
  0: Atom robot_location(r3, v6)
  1: <none of those>
var64:
  0: Atom robot_location(r6, v6)
  1: <none of those>
var65:
  0: Atom robot_location(r3, v10)
  1: <none of those>
var66:
  0: Atom robot_location(r6, v24)
  1: <none of those>
var67:
  0: Atom robot_location(r3, v2)
  1: <none of those>
var68:
  0: Atom robot_location(r6, v2)
  1: <none of those>
var69:
  0: Atom robot_location(r2, v4)
  1: <none of those>
var70:
  0: Atom robot_location(r4, v7)
  1: <none of those>
var71:
  0: Atom robot_location(r3, v0)
  1: <none of those>
var72:
  0: Atom robot_location(r5, v2)
  1: <none of those>
var73:
  0: Atom robot_location(r1, v12)
  1: <none of those>
var74:
  0: Atom robot_location(r3, v8)
  1: <none of those>
var75:
  0: Atom no_robot(v28)
  1: <none of those>
var76:
  0: Atom robot_location(r5, v6)
  1: <none of those>
var77:
  0: Atom no_robot(v3)
  1: <none of those>
var78:
  0: Atom no_robot(v15)
  1: <none of those>
var79:
  0: Atom robot_location(r5, v19)
  1: <none of those>
var80:
  0: Atom robot_location(r2, v23)
  1: <none of those>
var81:
  0: Atom robot_location(r5, v1)
  1: <none of those>
var82:
  0: Atom robot_location(r2, v13)
  1: <none of those>
var83:
  0: Atom robot_location(r4, v25)
  1: <none of those>
var84:
  0: Atom robot_location(r3, v19)
  1: <none of those>
var85:
  0: Atom robot_location(r4, v20)
  1: <none of those>
var86:
  0: Atom robot_location(r3, v26)
  1: <none of those>
var87:
  0: Atom robot_location(r3, v4)
  1: <none of those>
var88:
  0: Atom robot_location(r2, v5)
  1: <none of those>
var89:
  0: Atom robot_location(r3, v22)
  1: <none of those>
var90:
  0: Atom robot_location(r6, v16)
  1: <none of those>
var91:
  0: Atom no_robot(v24)
  1: <none of those>
var92:
  0: Atom robot_location(r1, v14)
  1: <none of those>
var93:
  0: Atom robot_location(r1, v25)
  1: <none of those>
var94:
  0: Atom robot_location(r3, v9)
  1: <none of those>
var95:
  0: Atom robot_location(r5, v9)
  1: <none of those>
var96:
  0: Atom no_robot(v22)
  1: <none of those>
var97:
  0: Atom no_robot(v27)
  1: <none of those>
var98:
  0: Atom no_robot(v11)
  1: <none of those>
var99:
  0: Atom robot_location(r3, v20)
  1: <none of those>
var100:
  0: Atom robot_location(r1, v10)
  1: <none of those>
var101:
  0: Atom robot_location(r6, v27)
  1: <none of those>
var102:
  0: Atom robot_location(r2, v9)
  1: <none of those>
var103:
  0: Atom robot_location(r4, v21)
  1: <none of those>
var104:
  0: Atom robot_location(r3, v5)
  1: <none of those>
var105:
  0: Atom robot_location(r2, v21)
  1: <none of those>
var106:
  0: Atom robot_location(r1, v17)
  1: <none of those>
var107:
  0: Atom robot_location(r3, v14)
  1: <none of those>
var108:
  0: Atom robot_location(r4, v19)
  1: <none of those>
var109:
  0: Atom robot_location(r1, v15)
  1: <none of those>
var110:
  0: Atom robot_location(r2, v17)
  1: <none of those>
var111:
  0: Atom robot_location(r4, v8)
  1: <none of those>
var112:
  0: Atom robot_location(r4, v22)
  1: <none of those>
var113:
  0: Atom robot_location(r1, v11)
  1: <none of those>
var114:
  0: Atom robot_location(r2, v8)
  1: <none of those>
var115:
  0: Atom no_robot(v1)
  1: <none of those>
var116:
  0: Atom robot_location(r1, v6)
  1: <none of those>
var117:
  0: Atom robot_location(r5, v4)
  1: <none of those>
var118:
  0: Atom robot_location(r2, v14)
  1: <none of those>
var119:
  0: Atom no_robot(v20)
  1: <none of those>
var120:
  0: Atom robot_location(r1, v2)
  1: <none of those>
var121:
  0: Atom robot_location(r4, v6)
  1: <none of those>
var122:
  0: Atom robot_location(r6, v13)
  1: <none of those>
var123:
  0: Atom robot_location(r3, v7)
  1: <none of those>
var124:
  0: Atom robot_location(r1, v4)
  1: <none of those>
var125:
  0: Atom robot_location(r2, v16)
  1: <none of those>
var126:
  0: Atom robot_location(r3, v12)
  1: <none of those>
var127:
  0: Atom robot_location(r1, v0)
  1: <none of those>
var128:
  0: Atom no_robot(v10)
  1: <none of those>
var129:
  0: Atom robot_location(r2, v28)
  1: <none of those>
var130:
  0: Atom robot_location(r1, v7)
  1: <none of those>
var131:
  0: Atom no_robot(v8)
  1: <none of those>
var132:
  0: Atom no_robot(v9)
  1: <none of those>
var133:
  0: Atom robot_location(r6, v18)
  1: <none of those>
var134:
  0: Atom robot_location(r5, v28)
  1: <none of those>
var135:
  0: Atom robot_location(r6, v9)
  1: <none of those>
var136:
  0: Atom robot_location(r1, v3)
  1: <none of those>
var137:
  0: Atom robot_location(r1, v24)
  1: <none of those>
var138:
  0: Atom robot_location(r3, v1)
  1: <none of those>
var139:
  0: Atom robot_location(r1, v28)
  1: <none of those>
var140:
  0: Atom robot_location(r4, v10)
  1: <none of those>
var141:
  0: Atom robot_location(r6, v5)
  1: <none of those>
var142:
  0: Atom robot_location(r5, v26)
  1: <none of those>
var143:
  0: Atom no_robot(v17)
  1: <none of those>
var144:
  0: Atom robot_location(r3, v13)
  1: <none of those>
var145:
  0: Atom robot_location(r6, v20)
  1: <none of those>
var146:
  0: Atom no_robot(v19)
  1: <none of those>
var147:
  0: Atom robot_location(r4, v14)
  1: <none of those>
var148:
  0: Atom robot_location(r3, v21)
  1: <none of those>
var149:
  0: Atom robot_location(r6, v28)
  1: <none of those>
var150:
  0: Atom robot_location(r2, v12)
  1: <none of those>
var151:
  0: Atom no_robot(v0)
  1: <none of those>
var152:
  0: Atom robot_location(r2, v0)
  1: <none of those>
var153:
  0: Atom robot_location(r5, v12)
  1: <none of those>
var154:
  0: Atom robot_location(r2, v1)
  1: <none of those>
var155:
  0: Atom robot_location(r6, v8)
  1: <none of those>
var156:
  0: Atom robot_location(r4, v28)
  1: <none of those>
var157:
  0: Atom robot_location(r5, v11)
  1: <none of those>
var158:
  0: Atom robot_location(r5, v23)
  1: <none of those>
var159:
  0: Atom robot_location(r2, v6)
  1: <none of those>
var160:
  0: Atom robot_location(r5, v15)
  1: <none of those>
var161:
  0: Atom robot_location(r2, v19)
  1: <none of those>
var162:
  0: Atom robot_location(r3, v17)
  1: <none of those>
var163:
  0: Atom robot_location(r5, v18)
  1: <none of those>
var164:
  0: Atom robot_location(r5, v27)
  1: <none of those>
var165:
  0: Atom robot_location(r5, v13)
  1: <none of those>
var166:
  0: Atom robot_location(r3, v25)
  1: <none of those>
var167:
  0: Atom robot_location(r6, v15)
  1: <none of those>
var168:
  0: Atom robot_location(r6, v1)
  1: <none of those>
var169:
  0: Atom robot_location(r5, v25)
  1: <none of those>
var170:
  0: Atom robot_location(r3, v27)
  1: <none of those>
var171:
  0: Atom robot_location(r5, v17)
  1: <none of those>
var172:
  0: Atom robot_location(r6, v11)
  1: <none of those>
var173:
  0: Atom robot_location(r3, v15)
  1: <none of those>
var174:
  0: Atom robot_location(r2, v11)
  1: <none of those>
var175:
  0: Atom robot_location(r6, v0)
  1: <none of those>
var176:
  0: Atom robot_location(r5, v16)
  1: <none of those>
var177:
  0: Atom robot_location(r3, v23)
  1: <none of those>
var178:
  0: Atom robot_location(r4, v18)
  1: <none of those>
var179:
  0: Atom robot_location(r6, v17)
  1: <none of those>
var180:
  0: Atom no_robot(v16)
  1: <none of those>
var181:
  0: Atom robot_location(r3, v28)
  1: <none of those>
var182:
  0: Atom robot_location(r1, v18)
  1: <none of those>
var183:
  0: Atom no_robot(v18)
  1: <none of those>
var184:
  0: Atom robot_location(r6, v19)
  1: <none of those>
var185:
  0: Atom robot_location(r4, v24)
  1: <none of those>
var186:
  0: Atom robot_location(r1, v27)
  1: <none of those>
var187:
  0: Atom robot_location(r6, v14)
  1: <none of those>
var188:
  0: Atom robot_location(r2, v27)
  1: <none of those>
var189:
  0: Atom robot_location(r5, v3)
  1: <none of those>
var190:
  0: Atom robot_location(r6, v10)
  1: <none of those>
var191:
  0: Atom no_robot(v13)
  1: <none of those>
var192:
  0: Atom robot_location(r5, v21)
  1: <none of those>
var193:
  0: Atom robot_location(r2, v22)
  1: <none of those>
var194:
  0: Atom robot_location(r5, v7)
  1: <none of those>
var195:
  0: Atom robot_location(r2, v3)
  1: <none of those>
var196:
  0: Atom robot_location(r1, v16)
  1: <none of those>