relops.baseline 43 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936
  1. a[0] < a[0] = false
  2. a[0] > a[0] = false
  3. a[0] <= a[0] = true
  4. a[0] >= a[0] = true
  5. a[0] < a[1] = true
  6. a[0] > a[1] = false
  7. a[0] <= a[1] = true
  8. a[0] >= a[1] = false
  9. a[0] < a[2] = true
  10. a[0] > a[2] = false
  11. a[0] <= a[2] = true
  12. a[0] >= a[2] = false
  13. a[0] < a[3] = false
  14. a[0] > a[3] = true
  15. a[0] <= a[3] = false
  16. a[0] >= a[3] = true
  17. a[0] < a[4] = true
  18. a[0] > a[4] = false
  19. a[0] <= a[4] = true
  20. a[0] >= a[4] = false
  21. a[0] < a[5] = true
  22. a[0] > a[5] = false
  23. a[0] <= a[5] = true
  24. a[0] >= a[5] = false
  25. a[0] < a[6] = true
  26. a[0] > a[6] = false
  27. a[0] <= a[6] = true
  28. a[0] >= a[6] = false
  29. a[0] < a[7] = false
  30. a[0] > a[7] = false
  31. a[0] <= a[7] = false
  32. a[0] >= a[7] = false
  33. a[0] < a[8] = false
  34. a[0] > a[8] = false
  35. a[0] <= a[8] = false
  36. a[0] >= a[8] = false
  37. a[0] < a[9] = false
  38. a[0] > a[9] = false
  39. a[0] <= a[9] = false
  40. a[0] >= a[9] = false
  41. a[0] < a[10] = false
  42. a[0] > a[10] = false
  43. a[0] <= a[10] = false
  44. a[0] >= a[10] = false
  45. a[0] < a[11] = false
  46. a[0] > a[11] = false
  47. a[0] <= a[11] = false
  48. a[0] >= a[11] = false
  49. a[0] < a[12] = false
  50. a[0] > a[12] = false
  51. a[0] <= a[12] = false
  52. a[0] >= a[12] = false
  53. a[0] < a[13] = false
  54. a[0] > a[13] = false
  55. a[0] <= a[13] = false
  56. a[0] >= a[13] = false
  57. a[0] < a[14] = false
  58. a[0] > a[14] = false
  59. a[0] <= a[14] = true
  60. a[0] >= a[14] = true
  61. a[0] < a[15] = false
  62. a[0] > a[15] = false
  63. a[0] <= a[15] = true
  64. a[0] >= a[15] = true
  65. a[0] < a[16] = true
  66. a[0] > a[16] = false
  67. a[0] <= a[16] = true
  68. a[0] >= a[16] = false
  69. a[0] < a[17] = true
  70. a[0] > a[17] = false
  71. a[0] <= a[17] = true
  72. a[0] >= a[17] = false
  73. a[0] < a[18] = true
  74. a[0] > a[18] = false
  75. a[0] <= a[18] = true
  76. a[0] >= a[18] = false
  77. a[0] < a[19] = true
  78. a[0] > a[19] = false
  79. a[0] <= a[19] = true
  80. a[0] >= a[19] = false
  81. a[0] < a[20] = false
  82. a[0] > a[20] = true
  83. a[0] <= a[20] = false
  84. a[0] >= a[20] = true
  85. a[0] < a[21] = false
  86. a[0] > a[21] = false
  87. a[0] <= a[21] = false
  88. a[0] >= a[21] = false
  89. a[1] < a[0] = false
  90. a[1] > a[0] = true
  91. a[1] <= a[0] = false
  92. a[1] >= a[0] = true
  93. a[1] < a[1] = false
  94. a[1] > a[1] = false
  95. a[1] <= a[1] = true
  96. a[1] >= a[1] = true
  97. a[1] < a[2] = false
  98. a[1] > a[2] = true
  99. a[1] <= a[2] = false
  100. a[1] >= a[2] = true
  101. a[1] < a[3] = false
  102. a[1] > a[3] = true
  103. a[1] <= a[3] = false
  104. a[1] >= a[3] = true
  105. a[1] < a[4] = false
  106. a[1] > a[4] = true
  107. a[1] <= a[4] = false
  108. a[1] >= a[4] = true
  109. a[1] < a[5] = false
  110. a[1] > a[5] = true
  111. a[1] <= a[5] = false
  112. a[1] >= a[5] = true
  113. a[1] < a[6] = false
  114. a[1] > a[6] = true
  115. a[1] <= a[6] = false
  116. a[1] >= a[6] = true
  117. a[1] < a[7] = false
  118. a[1] > a[7] = false
  119. a[1] <= a[7] = false
  120. a[1] >= a[7] = false
  121. a[1] < a[8] = false
  122. a[1] > a[8] = false
  123. a[1] <= a[8] = false
  124. a[1] >= a[8] = false
  125. a[1] < a[9] = false
  126. a[1] > a[9] = false
  127. a[1] <= a[9] = false
  128. a[1] >= a[9] = false
  129. a[1] < a[10] = false
  130. a[1] > a[10] = false
  131. a[1] <= a[10] = false
  132. a[1] >= a[10] = false
  133. a[1] < a[11] = false
  134. a[1] > a[11] = false
  135. a[1] <= a[11] = false
  136. a[1] >= a[11] = false
  137. a[1] < a[12] = false
  138. a[1] > a[12] = false
  139. a[1] <= a[12] = false
  140. a[1] >= a[12] = false
  141. a[1] < a[13] = false
  142. a[1] > a[13] = false
  143. a[1] <= a[13] = false
  144. a[1] >= a[13] = false
  145. a[1] < a[14] = false
  146. a[1] > a[14] = true
  147. a[1] <= a[14] = false
  148. a[1] >= a[14] = true
  149. a[1] < a[15] = false
  150. a[1] > a[15] = true
  151. a[1] <= a[15] = false
  152. a[1] >= a[15] = true
  153. a[1] < a[16] = false
  154. a[1] > a[16] = true
  155. a[1] <= a[16] = false
  156. a[1] >= a[16] = true
  157. a[1] < a[17] = true
  158. a[1] > a[17] = false
  159. a[1] <= a[17] = true
  160. a[1] >= a[17] = false
  161. a[1] < a[18] = false
  162. a[1] > a[18] = true
  163. a[1] <= a[18] = false
  164. a[1] >= a[18] = true
  165. a[1] < a[19] = true
  166. a[1] > a[19] = false
  167. a[1] <= a[19] = true
  168. a[1] >= a[19] = false
  169. a[1] < a[20] = false
  170. a[1] > a[20] = true
  171. a[1] <= a[20] = false
  172. a[1] >= a[20] = true
  173. a[1] < a[21] = false
  174. a[1] > a[21] = false
  175. a[1] <= a[21] = false
  176. a[1] >= a[21] = false
  177. a[2] < a[0] = false
  178. a[2] > a[0] = true
  179. a[2] <= a[0] = false
  180. a[2] >= a[0] = true
  181. a[2] < a[1] = true
  182. a[2] > a[1] = false
  183. a[2] <= a[1] = true
  184. a[2] >= a[1] = false
  185. a[2] < a[2] = false
  186. a[2] > a[2] = false
  187. a[2] <= a[2] = true
  188. a[2] >= a[2] = true
  189. a[2] < a[3] = false
  190. a[2] > a[3] = true
  191. a[2] <= a[3] = false
  192. a[2] >= a[3] = true
  193. a[2] < a[4] = false
  194. a[2] > a[4] = false
  195. a[2] <= a[4] = true
  196. a[2] >= a[4] = true
  197. a[2] < a[5] = true
  198. a[2] > a[5] = false
  199. a[2] <= a[5] = true
  200. a[2] >= a[5] = false
  201. a[2] < a[6] = true
  202. a[2] > a[6] = false
  203. a[2] <= a[6] = true
  204. a[2] >= a[6] = false
  205. a[2] < a[7] = false
  206. a[2] > a[7] = false
  207. a[2] <= a[7] = false
  208. a[2] >= a[7] = false
  209. a[2] < a[8] = false
  210. a[2] > a[8] = false
  211. a[2] <= a[8] = false
  212. a[2] >= a[8] = false
  213. a[2] < a[9] = false
  214. a[2] > a[9] = false
  215. a[2] <= a[9] = false
  216. a[2] >= a[9] = false
  217. a[2] < a[10] = false
  218. a[2] > a[10] = false
  219. a[2] <= a[10] = false
  220. a[2] >= a[10] = false
  221. a[2] < a[11] = false
  222. a[2] > a[11] = false
  223. a[2] <= a[11] = false
  224. a[2] >= a[11] = false
  225. a[2] < a[12] = false
  226. a[2] > a[12] = false
  227. a[2] <= a[12] = false
  228. a[2] >= a[12] = false
  229. a[2] < a[13] = false
  230. a[2] > a[13] = false
  231. a[2] <= a[13] = false
  232. a[2] >= a[13] = false
  233. a[2] < a[14] = false
  234. a[2] > a[14] = true
  235. a[2] <= a[14] = false
  236. a[2] >= a[14] = true
  237. a[2] < a[15] = false
  238. a[2] > a[15] = true
  239. a[2] <= a[15] = false
  240. a[2] >= a[15] = true
  241. a[2] < a[16] = false
  242. a[2] > a[16] = false
  243. a[2] <= a[16] = true
  244. a[2] >= a[16] = true
  245. a[2] < a[17] = true
  246. a[2] > a[17] = false
  247. a[2] <= a[17] = true
  248. a[2] >= a[17] = false
  249. a[2] < a[18] = false
  250. a[2] > a[18] = true
  251. a[2] <= a[18] = false
  252. a[2] >= a[18] = true
  253. a[2] < a[19] = true
  254. a[2] > a[19] = false
  255. a[2] <= a[19] = true
  256. a[2] >= a[19] = false
  257. a[2] < a[20] = false
  258. a[2] > a[20] = true
  259. a[2] <= a[20] = false
  260. a[2] >= a[20] = true
  261. a[2] < a[21] = false
  262. a[2] > a[21] = false
  263. a[2] <= a[21] = false
  264. a[2] >= a[21] = false
  265. a[3] < a[0] = true
  266. a[3] > a[0] = false
  267. a[3] <= a[0] = true
  268. a[3] >= a[0] = false
  269. a[3] < a[1] = true
  270. a[3] > a[1] = false
  271. a[3] <= a[1] = true
  272. a[3] >= a[1] = false
  273. a[3] < a[2] = true
  274. a[3] > a[2] = false
  275. a[3] <= a[2] = true
  276. a[3] >= a[2] = false
  277. a[3] < a[3] = false
  278. a[3] > a[3] = false
  279. a[3] <= a[3] = true
  280. a[3] >= a[3] = true
  281. a[3] < a[4] = true
  282. a[3] > a[4] = false
  283. a[3] <= a[4] = true
  284. a[3] >= a[4] = false
  285. a[3] < a[5] = true
  286. a[3] > a[5] = false
  287. a[3] <= a[5] = true
  288. a[3] >= a[5] = false
  289. a[3] < a[6] = true
  290. a[3] > a[6] = false
  291. a[3] <= a[6] = true
  292. a[3] >= a[6] = false
  293. a[3] < a[7] = false
  294. a[3] > a[7] = false
  295. a[3] <= a[7] = false
  296. a[3] >= a[7] = false
  297. a[3] < a[8] = false
  298. a[3] > a[8] = false
  299. a[3] <= a[8] = false
  300. a[3] >= a[8] = false
  301. a[3] < a[9] = false
  302. a[3] > a[9] = false
  303. a[3] <= a[9] = false
  304. a[3] >= a[9] = false
  305. a[3] < a[10] = false
  306. a[3] > a[10] = false
  307. a[3] <= a[10] = false
  308. a[3] >= a[10] = false
  309. a[3] < a[11] = false
  310. a[3] > a[11] = false
  311. a[3] <= a[11] = false
  312. a[3] >= a[11] = false
  313. a[3] < a[12] = false
  314. a[3] > a[12] = false
  315. a[3] <= a[12] = false
  316. a[3] >= a[12] = false
  317. a[3] < a[13] = false
  318. a[3] > a[13] = false
  319. a[3] <= a[13] = false
  320. a[3] >= a[13] = false
  321. a[3] < a[14] = true
  322. a[3] > a[14] = false
  323. a[3] <= a[14] = true
  324. a[3] >= a[14] = false
  325. a[3] < a[15] = true
  326. a[3] > a[15] = false
  327. a[3] <= a[15] = true
  328. a[3] >= a[15] = false
  329. a[3] < a[16] = true
  330. a[3] > a[16] = false
  331. a[3] <= a[16] = true
  332. a[3] >= a[16] = false
  333. a[3] < a[17] = true
  334. a[3] > a[17] = false
  335. a[3] <= a[17] = true
  336. a[3] >= a[17] = false
  337. a[3] < a[18] = true
  338. a[3] > a[18] = false
  339. a[3] <= a[18] = true
  340. a[3] >= a[18] = false
  341. a[3] < a[19] = true
  342. a[3] > a[19] = false
  343. a[3] <= a[19] = true
  344. a[3] >= a[19] = false
  345. a[3] < a[20] = false
  346. a[3] > a[20] = true
  347. a[3] <= a[20] = false
  348. a[3] >= a[20] = true
  349. a[3] < a[21] = false
  350. a[3] > a[21] = false
  351. a[3] <= a[21] = false
  352. a[3] >= a[21] = false
  353. a[4] < a[0] = false
  354. a[4] > a[0] = true
  355. a[4] <= a[0] = false
  356. a[4] >= a[0] = true
  357. a[4] < a[1] = true
  358. a[4] > a[1] = false
  359. a[4] <= a[1] = true
  360. a[4] >= a[1] = false
  361. a[4] < a[2] = false
  362. a[4] > a[2] = false
  363. a[4] <= a[2] = true
  364. a[4] >= a[2] = true
  365. a[4] < a[3] = false
  366. a[4] > a[3] = true
  367. a[4] <= a[3] = false
  368. a[4] >= a[3] = true
  369. a[4] < a[4] = false
  370. a[4] > a[4] = false
  371. a[4] <= a[4] = true
  372. a[4] >= a[4] = true
  373. a[4] < a[5] = false
  374. a[4] > a[5] = true
  375. a[4] <= a[5] = false
  376. a[4] >= a[5] = true
  377. a[4] < a[6] = false
  378. a[4] > a[6] = true
  379. a[4] <= a[6] = false
  380. a[4] >= a[6] = true
  381. a[4] < a[7] = true
  382. a[4] > a[7] = false
  383. a[4] <= a[7] = true
  384. a[4] >= a[7] = false
  385. a[4] < a[8] = true
  386. a[4] > a[8] = false
  387. a[4] <= a[8] = true
  388. a[4] >= a[8] = false
  389. a[4] < a[9] = true
  390. a[4] > a[9] = false
  391. a[4] <= a[9] = true
  392. a[4] >= a[9] = false
  393. a[4] < a[10] = true
  394. a[4] > a[10] = false
  395. a[4] <= a[10] = true
  396. a[4] >= a[10] = false
  397. a[4] < a[11] = false
  398. a[4] > a[11] = true
  399. a[4] <= a[11] = false
  400. a[4] >= a[11] = true
  401. a[4] < a[12] = true
  402. a[4] > a[12] = false
  403. a[4] <= a[12] = true
  404. a[4] >= a[12] = false
  405. a[4] < a[13] = false
  406. a[4] > a[13] = false
  407. a[4] <= a[13] = false
  408. a[4] >= a[13] = false
  409. a[4] < a[14] = false
  410. a[4] > a[14] = true
  411. a[4] <= a[14] = false
  412. a[4] >= a[14] = true
  413. a[4] < a[15] = false
  414. a[4] > a[15] = true
  415. a[4] <= a[15] = false
  416. a[4] >= a[15] = true
  417. a[4] < a[16] = false
  418. a[4] > a[16] = false
  419. a[4] <= a[16] = true
  420. a[4] >= a[16] = true
  421. a[4] < a[17] = true
  422. a[4] > a[17] = false
  423. a[4] <= a[17] = true
  424. a[4] >= a[17] = false
  425. a[4] < a[18] = false
  426. a[4] > a[18] = true
  427. a[4] <= a[18] = false
  428. a[4] >= a[18] = true
  429. a[4] < a[19] = true
  430. a[4] > a[19] = false
  431. a[4] <= a[19] = true
  432. a[4] >= a[19] = false
  433. a[4] < a[20] = false
  434. a[4] > a[20] = true
  435. a[4] <= a[20] = false
  436. a[4] >= a[20] = true
  437. a[4] < a[21] = false
  438. a[4] > a[21] = false
  439. a[4] <= a[21] = false
  440. a[4] >= a[21] = false
  441. a[5] < a[0] = false
  442. a[5] > a[0] = true
  443. a[5] <= a[0] = false
  444. a[5] >= a[0] = true
  445. a[5] < a[1] = true
  446. a[5] > a[1] = false
  447. a[5] <= a[1] = true
  448. a[5] >= a[1] = false
  449. a[5] < a[2] = false
  450. a[5] > a[2] = true
  451. a[5] <= a[2] = false
  452. a[5] >= a[2] = true
  453. a[5] < a[3] = false
  454. a[5] > a[3] = true
  455. a[5] <= a[3] = false
  456. a[5] >= a[3] = true
  457. a[5] < a[4] = true
  458. a[5] > a[4] = false
  459. a[5] <= a[4] = true
  460. a[5] >= a[4] = false
  461. a[5] < a[5] = false
  462. a[5] > a[5] = false
  463. a[5] <= a[5] = true
  464. a[5] >= a[5] = true
  465. a[5] < a[6] = false
  466. a[5] > a[6] = true
  467. a[5] <= a[6] = false
  468. a[5] >= a[6] = true
  469. a[5] < a[7] = true
  470. a[5] > a[7] = false
  471. a[5] <= a[7] = true
  472. a[5] >= a[7] = false
  473. a[5] < a[8] = true
  474. a[5] > a[8] = false
  475. a[5] <= a[8] = true
  476. a[5] >= a[8] = false
  477. a[5] < a[9] = true
  478. a[5] > a[9] = false
  479. a[5] <= a[9] = true
  480. a[5] >= a[9] = false
  481. a[5] < a[10] = true
  482. a[5] > a[10] = false
  483. a[5] <= a[10] = true
  484. a[5] >= a[10] = false
  485. a[5] < a[11] = false
  486. a[5] > a[11] = true
  487. a[5] <= a[11] = false
  488. a[5] >= a[11] = true
  489. a[5] < a[12] = true
  490. a[5] > a[12] = false
  491. a[5] <= a[12] = true
  492. a[5] >= a[12] = false
  493. a[5] < a[13] = false
  494. a[5] > a[13] = false
  495. a[5] <= a[13] = false
  496. a[5] >= a[13] = false
  497. a[5] < a[14] = false
  498. a[5] > a[14] = true
  499. a[5] <= a[14] = false
  500. a[5] >= a[14] = true
  501. a[5] < a[15] = false
  502. a[5] > a[15] = true
  503. a[5] <= a[15] = false
  504. a[5] >= a[15] = true
  505. a[5] < a[16] = false
  506. a[5] > a[16] = true
  507. a[5] <= a[16] = false
  508. a[5] >= a[16] = true
  509. a[5] < a[17] = true
  510. a[5] > a[17] = false
  511. a[5] <= a[17] = true
  512. a[5] >= a[17] = false
  513. a[5] < a[18] = false
  514. a[5] > a[18] = true
  515. a[5] <= a[18] = false
  516. a[5] >= a[18] = true
  517. a[5] < a[19] = true
  518. a[5] > a[19] = false
  519. a[5] <= a[19] = true
  520. a[5] >= a[19] = false
  521. a[5] < a[20] = false
  522. a[5] > a[20] = true
  523. a[5] <= a[20] = false
  524. a[5] >= a[20] = true
  525. a[5] < a[21] = false
  526. a[5] > a[21] = false
  527. a[5] <= a[21] = false
  528. a[5] >= a[21] = false
  529. a[6] < a[0] = false
  530. a[6] > a[0] = true
  531. a[6] <= a[0] = false
  532. a[6] >= a[0] = true
  533. a[6] < a[1] = true
  534. a[6] > a[1] = false
  535. a[6] <= a[1] = true
  536. a[6] >= a[1] = false
  537. a[6] < a[2] = false
  538. a[6] > a[2] = true
  539. a[6] <= a[2] = false
  540. a[6] >= a[2] = true
  541. a[6] < a[3] = false
  542. a[6] > a[3] = true
  543. a[6] <= a[3] = false
  544. a[6] >= a[3] = true
  545. a[6] < a[4] = true
  546. a[6] > a[4] = false
  547. a[6] <= a[4] = true
  548. a[6] >= a[4] = false
  549. a[6] < a[5] = true
  550. a[6] > a[5] = false
  551. a[6] <= a[5] = true
  552. a[6] >= a[5] = false
  553. a[6] < a[6] = false
  554. a[6] > a[6] = false
  555. a[6] <= a[6] = true
  556. a[6] >= a[6] = true
  557. a[6] < a[7] = true
  558. a[6] > a[7] = false
  559. a[6] <= a[7] = true
  560. a[6] >= a[7] = false
  561. a[6] < a[8] = true
  562. a[6] > a[8] = false
  563. a[6] <= a[8] = true
  564. a[6] >= a[8] = false
  565. a[6] < a[9] = true
  566. a[6] > a[9] = false
  567. a[6] <= a[9] = true
  568. a[6] >= a[9] = false
  569. a[6] < a[10] = true
  570. a[6] > a[10] = false
  571. a[6] <= a[10] = true
  572. a[6] >= a[10] = false
  573. a[6] < a[11] = false
  574. a[6] > a[11] = true
  575. a[6] <= a[11] = false
  576. a[6] >= a[11] = true
  577. a[6] < a[12] = true
  578. a[6] > a[12] = false
  579. a[6] <= a[12] = true
  580. a[6] >= a[12] = false
  581. a[6] < a[13] = false
  582. a[6] > a[13] = false
  583. a[6] <= a[13] = false
  584. a[6] >= a[13] = false
  585. a[6] < a[14] = false
  586. a[6] > a[14] = true
  587. a[6] <= a[14] = false
  588. a[6] >= a[14] = true
  589. a[6] < a[15] = false
  590. a[6] > a[15] = true
  591. a[6] <= a[15] = false
  592. a[6] >= a[15] = true
  593. a[6] < a[16] = false
  594. a[6] > a[16] = true
  595. a[6] <= a[16] = false
  596. a[6] >= a[16] = true
  597. a[6] < a[17] = true
  598. a[6] > a[17] = false
  599. a[6] <= a[17] = true
  600. a[6] >= a[17] = false
  601. a[6] < a[18] = false
  602. a[6] > a[18] = true
  603. a[6] <= a[18] = false
  604. a[6] >= a[18] = true
  605. a[6] < a[19] = true
  606. a[6] > a[19] = false
  607. a[6] <= a[19] = true
  608. a[6] >= a[19] = false
  609. a[6] < a[20] = false
  610. a[6] > a[20] = true
  611. a[6] <= a[20] = false
  612. a[6] >= a[20] = true
  613. a[6] < a[21] = false
  614. a[6] > a[21] = false
  615. a[6] <= a[21] = false
  616. a[6] >= a[21] = false
  617. a[7] < a[0] = false
  618. a[7] > a[0] = false
  619. a[7] <= a[0] = false
  620. a[7] >= a[0] = false
  621. a[7] < a[1] = false
  622. a[7] > a[1] = false
  623. a[7] <= a[1] = false
  624. a[7] >= a[1] = false
  625. a[7] < a[2] = false
  626. a[7] > a[2] = false
  627. a[7] <= a[2] = false
  628. a[7] >= a[2] = false
  629. a[7] < a[3] = false
  630. a[7] > a[3] = false
  631. a[7] <= a[3] = false
  632. a[7] >= a[3] = false
  633. a[7] < a[4] = false
  634. a[7] > a[4] = true
  635. a[7] <= a[4] = false
  636. a[7] >= a[4] = true
  637. a[7] < a[5] = false
  638. a[7] > a[5] = true
  639. a[7] <= a[5] = false
  640. a[7] >= a[5] = true
  641. a[7] < a[6] = false
  642. a[7] > a[6] = true
  643. a[7] <= a[6] = false
  644. a[7] >= a[6] = true
  645. a[7] < a[7] = false
  646. a[7] > a[7] = false
  647. a[7] <= a[7] = true
  648. a[7] >= a[7] = true
  649. a[7] < a[8] = true
  650. a[7] > a[8] = false
  651. a[7] <= a[8] = true
  652. a[7] >= a[8] = false
  653. a[7] < a[9] = false
  654. a[7] > a[9] = true
  655. a[7] <= a[9] = false
  656. a[7] >= a[9] = true
  657. a[7] < a[10] = false
  658. a[7] > a[10] = true
  659. a[7] <= a[10] = false
  660. a[7] >= a[10] = true
  661. a[7] < a[11] = false
  662. a[7] > a[11] = true
  663. a[7] <= a[11] = false
  664. a[7] >= a[11] = true
  665. a[7] < a[12] = false
  666. a[7] > a[12] = true
  667. a[7] <= a[12] = false
  668. a[7] >= a[12] = true
  669. a[7] < a[13] = false
  670. a[7] > a[13] = false
  671. a[7] <= a[13] = false
  672. a[7] >= a[13] = false
  673. a[7] < a[14] = false
  674. a[7] > a[14] = false
  675. a[7] <= a[14] = false
  676. a[7] >= a[14] = false
  677. a[7] < a[15] = false
  678. a[7] > a[15] = false
  679. a[7] <= a[15] = false
  680. a[7] >= a[15] = false
  681. a[7] < a[16] = false
  682. a[7] > a[16] = false
  683. a[7] <= a[16] = false
  684. a[7] >= a[16] = false
  685. a[7] < a[17] = false
  686. a[7] > a[17] = false
  687. a[7] <= a[17] = false
  688. a[7] >= a[17] = false
  689. a[7] < a[18] = false
  690. a[7] > a[18] = false
  691. a[7] <= a[18] = false
  692. a[7] >= a[18] = false
  693. a[7] < a[19] = false
  694. a[7] > a[19] = false
  695. a[7] <= a[19] = false
  696. a[7] >= a[19] = false
  697. a[7] < a[20] = false
  698. a[7] > a[20] = false
  699. a[7] <= a[20] = false
  700. a[7] >= a[20] = false
  701. a[7] < a[21] = false
  702. a[7] > a[21] = false
  703. a[7] <= a[21] = false
  704. a[7] >= a[21] = false
  705. a[8] < a[0] = false
  706. a[8] > a[0] = false
  707. a[8] <= a[0] = false
  708. a[8] >= a[0] = false
  709. a[8] < a[1] = false
  710. a[8] > a[1] = false
  711. a[8] <= a[1] = false
  712. a[8] >= a[1] = false
  713. a[8] < a[2] = false
  714. a[8] > a[2] = false
  715. a[8] <= a[2] = false
  716. a[8] >= a[2] = false
  717. a[8] < a[3] = false
  718. a[8] > a[3] = false
  719. a[8] <= a[3] = false
  720. a[8] >= a[3] = false
  721. a[8] < a[4] = false
  722. a[8] > a[4] = true
  723. a[8] <= a[4] = false
  724. a[8] >= a[4] = true
  725. a[8] < a[5] = false
  726. a[8] > a[5] = true
  727. a[8] <= a[5] = false
  728. a[8] >= a[5] = true
  729. a[8] < a[6] = false
  730. a[8] > a[6] = true
  731. a[8] <= a[6] = false
  732. a[8] >= a[6] = true
  733. a[8] < a[7] = false
  734. a[8] > a[7] = true
  735. a[8] <= a[7] = false
  736. a[8] >= a[7] = true
  737. a[8] < a[8] = false
  738. a[8] > a[8] = false
  739. a[8] <= a[8] = true
  740. a[8] >= a[8] = true
  741. a[8] < a[9] = false
  742. a[8] > a[9] = true
  743. a[8] <= a[9] = false
  744. a[8] >= a[9] = true
  745. a[8] < a[10] = false
  746. a[8] > a[10] = true
  747. a[8] <= a[10] = false
  748. a[8] >= a[10] = true
  749. a[8] < a[11] = false
  750. a[8] > a[11] = true
  751. a[8] <= a[11] = false
  752. a[8] >= a[11] = true
  753. a[8] < a[12] = false
  754. a[8] > a[12] = true
  755. a[8] <= a[12] = false
  756. a[8] >= a[12] = true
  757. a[8] < a[13] = false
  758. a[8] > a[13] = false
  759. a[8] <= a[13] = false
  760. a[8] >= a[13] = false
  761. a[8] < a[14] = false
  762. a[8] > a[14] = false
  763. a[8] <= a[14] = false
  764. a[8] >= a[14] = false
  765. a[8] < a[15] = false
  766. a[8] > a[15] = false
  767. a[8] <= a[15] = false
  768. a[8] >= a[15] = false
  769. a[8] < a[16] = false
  770. a[8] > a[16] = false
  771. a[8] <= a[16] = false
  772. a[8] >= a[16] = false
  773. a[8] < a[17] = false
  774. a[8] > a[17] = false
  775. a[8] <= a[17] = false
  776. a[8] >= a[17] = false
  777. a[8] < a[18] = false
  778. a[8] > a[18] = false
  779. a[8] <= a[18] = false
  780. a[8] >= a[18] = false
  781. a[8] < a[19] = false
  782. a[8] > a[19] = false
  783. a[8] <= a[19] = false
  784. a[8] >= a[19] = false
  785. a[8] < a[20] = false
  786. a[8] > a[20] = false
  787. a[8] <= a[20] = false
  788. a[8] >= a[20] = false
  789. a[8] < a[21] = false
  790. a[8] > a[21] = false
  791. a[8] <= a[21] = false
  792. a[8] >= a[21] = false
  793. a[9] < a[0] = false
  794. a[9] > a[0] = false
  795. a[9] <= a[0] = false
  796. a[9] >= a[0] = false
  797. a[9] < a[1] = false
  798. a[9] > a[1] = false
  799. a[9] <= a[1] = false
  800. a[9] >= a[1] = false
  801. a[9] < a[2] = false
  802. a[9] > a[2] = false
  803. a[9] <= a[2] = false
  804. a[9] >= a[2] = false
  805. a[9] < a[3] = false
  806. a[9] > a[3] = false
  807. a[9] <= a[3] = false
  808. a[9] >= a[3] = false
  809. a[9] < a[4] = false
  810. a[9] > a[4] = true
  811. a[9] <= a[4] = false
  812. a[9] >= a[4] = true
  813. a[9] < a[5] = false
  814. a[9] > a[5] = true
  815. a[9] <= a[5] = false
  816. a[9] >= a[5] = true
  817. a[9] < a[6] = false
  818. a[9] > a[6] = true
  819. a[9] <= a[6] = false
  820. a[9] >= a[6] = true
  821. a[9] < a[7] = true
  822. a[9] > a[7] = false
  823. a[9] <= a[7] = true
  824. a[9] >= a[7] = false
  825. a[9] < a[8] = true
  826. a[9] > a[8] = false
  827. a[9] <= a[8] = true
  828. a[9] >= a[8] = false
  829. a[9] < a[9] = false
  830. a[9] > a[9] = false
  831. a[9] <= a[9] = true
  832. a[9] >= a[9] = true
  833. a[9] < a[10] = false
  834. a[9] > a[10] = true
  835. a[9] <= a[10] = false
  836. a[9] >= a[10] = true
  837. a[9] < a[11] = false
  838. a[9] > a[11] = true
  839. a[9] <= a[11] = false
  840. a[9] >= a[11] = true
  841. a[9] < a[12] = false
  842. a[9] > a[12] = true
  843. a[9] <= a[12] = false
  844. a[9] >= a[12] = true
  845. a[9] < a[13] = false
  846. a[9] > a[13] = false
  847. a[9] <= a[13] = false
  848. a[9] >= a[13] = false
  849. a[9] < a[14] = false
  850. a[9] > a[14] = false
  851. a[9] <= a[14] = false
  852. a[9] >= a[14] = false
  853. a[9] < a[15] = false
  854. a[9] > a[15] = false
  855. a[9] <= a[15] = false
  856. a[9] >= a[15] = false
  857. a[9] < a[16] = false
  858. a[9] > a[16] = false
  859. a[9] <= a[16] = false
  860. a[9] >= a[16] = false
  861. a[9] < a[17] = false
  862. a[9] > a[17] = false
  863. a[9] <= a[17] = false
  864. a[9] >= a[17] = false
  865. a[9] < a[18] = false
  866. a[9] > a[18] = false
  867. a[9] <= a[18] = false
  868. a[9] >= a[18] = false
  869. a[9] < a[19] = false
  870. a[9] > a[19] = false
  871. a[9] <= a[19] = false
  872. a[9] >= a[19] = false
  873. a[9] < a[20] = false
  874. a[9] > a[20] = false
  875. a[9] <= a[20] = false
  876. a[9] >= a[20] = false
  877. a[9] < a[21] = false
  878. a[9] > a[21] = false
  879. a[9] <= a[21] = false
  880. a[9] >= a[21] = false
  881. a[10] < a[0] = false
  882. a[10] > a[0] = false
  883. a[10] <= a[0] = false
  884. a[10] >= a[0] = false
  885. a[10] < a[1] = false
  886. a[10] > a[1] = false
  887. a[10] <= a[1] = false
  888. a[10] >= a[1] = false
  889. a[10] < a[2] = false
  890. a[10] > a[2] = false
  891. a[10] <= a[2] = false
  892. a[10] >= a[2] = false
  893. a[10] < a[3] = false
  894. a[10] > a[3] = false
  895. a[10] <= a[3] = false
  896. a[10] >= a[3] = false
  897. a[10] < a[4] = false
  898. a[10] > a[4] = true
  899. a[10] <= a[4] = false
  900. a[10] >= a[4] = true
  901. a[10] < a[5] = false
  902. a[10] > a[5] = true
  903. a[10] <= a[5] = false
  904. a[10] >= a[5] = true
  905. a[10] < a[6] = false
  906. a[10] > a[6] = true
  907. a[10] <= a[6] = false
  908. a[10] >= a[6] = true
  909. a[10] < a[7] = true
  910. a[10] > a[7] = false
  911. a[10] <= a[7] = true
  912. a[10] >= a[7] = false
  913. a[10] < a[8] = true
  914. a[10] > a[8] = false
  915. a[10] <= a[8] = true
  916. a[10] >= a[8] = false
  917. a[10] < a[9] = true
  918. a[10] > a[9] = false
  919. a[10] <= a[9] = true
  920. a[10] >= a[9] = false
  921. a[10] < a[10] = false
  922. a[10] > a[10] = false
  923. a[10] <= a[10] = true
  924. a[10] >= a[10] = true
  925. a[10] < a[11] = false
  926. a[10] > a[11] = true
  927. a[10] <= a[11] = false
  928. a[10] >= a[11] = true
  929. a[10] < a[12] = true
  930. a[10] > a[12] = false
  931. a[10] <= a[12] = true
  932. a[10] >= a[12] = false
  933. a[10] < a[13] = false
  934. a[10] > a[13] = false
  935. a[10] <= a[13] = false
  936. a[10] >= a[13] = false
  937. a[10] < a[14] = false
  938. a[10] > a[14] = false
  939. a[10] <= a[14] = false
  940. a[10] >= a[14] = false
  941. a[10] < a[15] = false
  942. a[10] > a[15] = false
  943. a[10] <= a[15] = false
  944. a[10] >= a[15] = false
  945. a[10] < a[16] = false
  946. a[10] > a[16] = false
  947. a[10] <= a[16] = false
  948. a[10] >= a[16] = false
  949. a[10] < a[17] = false
  950. a[10] > a[17] = false
  951. a[10] <= a[17] = false
  952. a[10] >= a[17] = false
  953. a[10] < a[18] = false
  954. a[10] > a[18] = false
  955. a[10] <= a[18] = false
  956. a[10] >= a[18] = false
  957. a[10] < a[19] = false
  958. a[10] > a[19] = false
  959. a[10] <= a[19] = false
  960. a[10] >= a[19] = false
  961. a[10] < a[20] = false
  962. a[10] > a[20] = false
  963. a[10] <= a[20] = false
  964. a[10] >= a[20] = false
  965. a[10] < a[21] = false
  966. a[10] > a[21] = false
  967. a[10] <= a[21] = false
  968. a[10] >= a[21] = false
  969. a[11] < a[0] = false
  970. a[11] > a[0] = false
  971. a[11] <= a[0] = false
  972. a[11] >= a[0] = false
  973. a[11] < a[1] = false
  974. a[11] > a[1] = false
  975. a[11] <= a[1] = false
  976. a[11] >= a[1] = false
  977. a[11] < a[2] = false
  978. a[11] > a[2] = false
  979. a[11] <= a[2] = false
  980. a[11] >= a[2] = false
  981. a[11] < a[3] = false
  982. a[11] > a[3] = false
  983. a[11] <= a[3] = false
  984. a[11] >= a[3] = false
  985. a[11] < a[4] = true
  986. a[11] > a[4] = false
  987. a[11] <= a[4] = true
  988. a[11] >= a[4] = false
  989. a[11] < a[5] = true
  990. a[11] > a[5] = false
  991. a[11] <= a[5] = true
  992. a[11] >= a[5] = false
  993. a[11] < a[6] = true
  994. a[11] > a[6] = false
  995. a[11] <= a[6] = true
  996. a[11] >= a[6] = false
  997. a[11] < a[7] = true
  998. a[11] > a[7] = false
  999. a[11] <= a[7] = true
  1000. a[11] >= a[7] = false
  1001. a[11] < a[8] = true
  1002. a[11] > a[8] = false
  1003. a[11] <= a[8] = true
  1004. a[11] >= a[8] = false
  1005. a[11] < a[9] = true
  1006. a[11] > a[9] = false
  1007. a[11] <= a[9] = true
  1008. a[11] >= a[9] = false
  1009. a[11] < a[10] = true
  1010. a[11] > a[10] = false
  1011. a[11] <= a[10] = true
  1012. a[11] >= a[10] = false
  1013. a[11] < a[11] = false
  1014. a[11] > a[11] = false
  1015. a[11] <= a[11] = true
  1016. a[11] >= a[11] = true
  1017. a[11] < a[12] = true
  1018. a[11] > a[12] = false
  1019. a[11] <= a[12] = true
  1020. a[11] >= a[12] = false
  1021. a[11] < a[13] = false
  1022. a[11] > a[13] = false
  1023. a[11] <= a[13] = false
  1024. a[11] >= a[13] = false
  1025. a[11] < a[14] = false
  1026. a[11] > a[14] = false
  1027. a[11] <= a[14] = false
  1028. a[11] >= a[14] = false
  1029. a[11] < a[15] = false
  1030. a[11] > a[15] = false
  1031. a[11] <= a[15] = false
  1032. a[11] >= a[15] = false
  1033. a[11] < a[16] = false
  1034. a[11] > a[16] = false
  1035. a[11] <= a[16] = false
  1036. a[11] >= a[16] = false
  1037. a[11] < a[17] = false
  1038. a[11] > a[17] = false
  1039. a[11] <= a[17] = false
  1040. a[11] >= a[17] = false
  1041. a[11] < a[18] = false
  1042. a[11] > a[18] = false
  1043. a[11] <= a[18] = false
  1044. a[11] >= a[18] = false
  1045. a[11] < a[19] = false
  1046. a[11] > a[19] = false
  1047. a[11] <= a[19] = false
  1048. a[11] >= a[19] = false
  1049. a[11] < a[20] = false
  1050. a[11] > a[20] = false
  1051. a[11] <= a[20] = false
  1052. a[11] >= a[20] = false
  1053. a[11] < a[21] = false
  1054. a[11] > a[21] = false
  1055. a[11] <= a[21] = false
  1056. a[11] >= a[21] = false
  1057. a[12] < a[0] = false
  1058. a[12] > a[0] = false
  1059. a[12] <= a[0] = false
  1060. a[12] >= a[0] = false
  1061. a[12] < a[1] = false
  1062. a[12] > a[1] = false
  1063. a[12] <= a[1] = false
  1064. a[12] >= a[1] = false
  1065. a[12] < a[2] = false
  1066. a[12] > a[2] = false
  1067. a[12] <= a[2] = false
  1068. a[12] >= a[2] = false
  1069. a[12] < a[3] = false
  1070. a[12] > a[3] = false
  1071. a[12] <= a[3] = false
  1072. a[12] >= a[3] = false
  1073. a[12] < a[4] = false
  1074. a[12] > a[4] = true
  1075. a[12] <= a[4] = false
  1076. a[12] >= a[4] = true
  1077. a[12] < a[5] = false
  1078. a[12] > a[5] = true
  1079. a[12] <= a[5] = false
  1080. a[12] >= a[5] = true
  1081. a[12] < a[6] = false
  1082. a[12] > a[6] = true
  1083. a[12] <= a[6] = false
  1084. a[12] >= a[6] = true
  1085. a[12] < a[7] = true
  1086. a[12] > a[7] = false
  1087. a[12] <= a[7] = true
  1088. a[12] >= a[7] = false
  1089. a[12] < a[8] = true
  1090. a[12] > a[8] = false
  1091. a[12] <= a[8] = true
  1092. a[12] >= a[8] = false
  1093. a[12] < a[9] = true
  1094. a[12] > a[9] = false
  1095. a[12] <= a[9] = true
  1096. a[12] >= a[9] = false
  1097. a[12] < a[10] = false
  1098. a[12] > a[10] = true
  1099. a[12] <= a[10] = false
  1100. a[12] >= a[10] = true
  1101. a[12] < a[11] = false
  1102. a[12] > a[11] = true
  1103. a[12] <= a[11] = false
  1104. a[12] >= a[11] = true
  1105. a[12] < a[12] = false
  1106. a[12] > a[12] = false
  1107. a[12] <= a[12] = true
  1108. a[12] >= a[12] = true
  1109. a[12] < a[13] = false
  1110. a[12] > a[13] = false
  1111. a[12] <= a[13] = false
  1112. a[12] >= a[13] = false
  1113. a[12] < a[14] = false
  1114. a[12] > a[14] = false
  1115. a[12] <= a[14] = false
  1116. a[12] >= a[14] = false
  1117. a[12] < a[15] = false
  1118. a[12] > a[15] = false
  1119. a[12] <= a[15] = false
  1120. a[12] >= a[15] = false
  1121. a[12] < a[16] = false
  1122. a[12] > a[16] = false
  1123. a[12] <= a[16] = false
  1124. a[12] >= a[16] = false
  1125. a[12] < a[17] = false
  1126. a[12] > a[17] = false
  1127. a[12] <= a[17] = false
  1128. a[12] >= a[17] = false
  1129. a[12] < a[18] = false
  1130. a[12] > a[18] = false
  1131. a[12] <= a[18] = false
  1132. a[12] >= a[18] = false
  1133. a[12] < a[19] = false
  1134. a[12] > a[19] = false
  1135. a[12] <= a[19] = false
  1136. a[12] >= a[19] = false
  1137. a[12] < a[20] = false
  1138. a[12] > a[20] = false
  1139. a[12] <= a[20] = false
  1140. a[12] >= a[20] = false
  1141. a[12] < a[21] = false
  1142. a[12] > a[21] = false
  1143. a[12] <= a[21] = false
  1144. a[12] >= a[21] = false
  1145. a[13] < a[0] = false
  1146. a[13] > a[0] = false
  1147. a[13] <= a[0] = false
  1148. a[13] >= a[0] = false
  1149. a[13] < a[1] = false
  1150. a[13] > a[1] = false
  1151. a[13] <= a[1] = false
  1152. a[13] >= a[1] = false
  1153. a[13] < a[2] = false
  1154. a[13] > a[2] = false
  1155. a[13] <= a[2] = false
  1156. a[13] >= a[2] = false
  1157. a[13] < a[3] = false
  1158. a[13] > a[3] = false
  1159. a[13] <= a[3] = false
  1160. a[13] >= a[3] = false
  1161. a[13] < a[4] = false
  1162. a[13] > a[4] = false
  1163. a[13] <= a[4] = false
  1164. a[13] >= a[4] = false
  1165. a[13] < a[5] = false
  1166. a[13] > a[5] = false
  1167. a[13] <= a[5] = false
  1168. a[13] >= a[5] = false
  1169. a[13] < a[6] = false
  1170. a[13] > a[6] = false
  1171. a[13] <= a[6] = false
  1172. a[13] >= a[6] = false
  1173. a[13] < a[7] = false
  1174. a[13] > a[7] = false
  1175. a[13] <= a[7] = false
  1176. a[13] >= a[7] = false
  1177. a[13] < a[8] = false
  1178. a[13] > a[8] = false
  1179. a[13] <= a[8] = false
  1180. a[13] >= a[8] = false
  1181. a[13] < a[9] = false
  1182. a[13] > a[9] = false
  1183. a[13] <= a[9] = false
  1184. a[13] >= a[9] = false
  1185. a[13] < a[10] = false
  1186. a[13] > a[10] = false
  1187. a[13] <= a[10] = false
  1188. a[13] >= a[10] = false
  1189. a[13] < a[11] = false
  1190. a[13] > a[11] = false
  1191. a[13] <= a[11] = false
  1192. a[13] >= a[11] = false
  1193. a[13] < a[12] = false
  1194. a[13] > a[12] = false
  1195. a[13] <= a[12] = false
  1196. a[13] >= a[12] = false
  1197. a[13] < a[13] = false
  1198. a[13] > a[13] = false
  1199. a[13] <= a[13] = false
  1200. a[13] >= a[13] = false
  1201. a[13] < a[14] = false
  1202. a[13] > a[14] = false
  1203. a[13] <= a[14] = false
  1204. a[13] >= a[14] = false
  1205. a[13] < a[15] = false
  1206. a[13] > a[15] = false
  1207. a[13] <= a[15] = false
  1208. a[13] >= a[15] = false
  1209. a[13] < a[16] = false
  1210. a[13] > a[16] = false
  1211. a[13] <= a[16] = false
  1212. a[13] >= a[16] = false
  1213. a[13] < a[17] = false
  1214. a[13] > a[17] = false
  1215. a[13] <= a[17] = false
  1216. a[13] >= a[17] = false
  1217. a[13] < a[18] = false
  1218. a[13] > a[18] = false
  1219. a[13] <= a[18] = false
  1220. a[13] >= a[18] = false
  1221. a[13] < a[19] = false
  1222. a[13] > a[19] = false
  1223. a[13] <= a[19] = false
  1224. a[13] >= a[19] = false
  1225. a[13] < a[20] = false
  1226. a[13] > a[20] = false
  1227. a[13] <= a[20] = false
  1228. a[13] >= a[20] = false
  1229. a[13] < a[21] = false
  1230. a[13] > a[21] = false
  1231. a[13] <= a[21] = false
  1232. a[13] >= a[21] = false
  1233. a[14] < a[0] = false
  1234. a[14] > a[0] = false
  1235. a[14] <= a[0] = true
  1236. a[14] >= a[0] = true
  1237. a[14] < a[1] = true
  1238. a[14] > a[1] = false
  1239. a[14] <= a[1] = true
  1240. a[14] >= a[1] = false
  1241. a[14] < a[2] = true
  1242. a[14] > a[2] = false
  1243. a[14] <= a[2] = true
  1244. a[14] >= a[2] = false
  1245. a[14] < a[3] = false
  1246. a[14] > a[3] = true
  1247. a[14] <= a[3] = false
  1248. a[14] >= a[3] = true
  1249. a[14] < a[4] = true
  1250. a[14] > a[4] = false
  1251. a[14] <= a[4] = true
  1252. a[14] >= a[4] = false
  1253. a[14] < a[5] = true
  1254. a[14] > a[5] = false
  1255. a[14] <= a[5] = true
  1256. a[14] >= a[5] = false
  1257. a[14] < a[6] = true
  1258. a[14] > a[6] = false
  1259. a[14] <= a[6] = true
  1260. a[14] >= a[6] = false
  1261. a[14] < a[7] = false
  1262. a[14] > a[7] = false
  1263. a[14] <= a[7] = false
  1264. a[14] >= a[7] = false
  1265. a[14] < a[8] = false
  1266. a[14] > a[8] = false
  1267. a[14] <= a[8] = false
  1268. a[14] >= a[8] = false
  1269. a[14] < a[9] = false
  1270. a[14] > a[9] = false
  1271. a[14] <= a[9] = false
  1272. a[14] >= a[9] = false
  1273. a[14] < a[10] = false
  1274. a[14] > a[10] = false
  1275. a[14] <= a[10] = false
  1276. a[14] >= a[10] = false
  1277. a[14] < a[11] = false
  1278. a[14] > a[11] = false
  1279. a[14] <= a[11] = false
  1280. a[14] >= a[11] = false
  1281. a[14] < a[12] = false
  1282. a[14] > a[12] = false
  1283. a[14] <= a[12] = false
  1284. a[14] >= a[12] = false
  1285. a[14] < a[13] = false
  1286. a[14] > a[13] = false
  1287. a[14] <= a[13] = false
  1288. a[14] >= a[13] = false
  1289. a[14] < a[14] = false
  1290. a[14] > a[14] = false
  1291. a[14] <= a[14] = true
  1292. a[14] >= a[14] = true
  1293. a[14] < a[15] = false
  1294. a[14] > a[15] = false
  1295. a[14] <= a[15] = true
  1296. a[14] >= a[15] = true
  1297. a[14] < a[16] = true
  1298. a[14] > a[16] = false
  1299. a[14] <= a[16] = true
  1300. a[14] >= a[16] = false
  1301. a[14] < a[17] = true
  1302. a[14] > a[17] = false
  1303. a[14] <= a[17] = true
  1304. a[14] >= a[17] = false
  1305. a[14] < a[18] = true
  1306. a[14] > a[18] = false
  1307. a[14] <= a[18] = true
  1308. a[14] >= a[18] = false
  1309. a[14] < a[19] = true
  1310. a[14] > a[19] = false
  1311. a[14] <= a[19] = true
  1312. a[14] >= a[19] = false
  1313. a[14] < a[20] = false
  1314. a[14] > a[20] = true
  1315. a[14] <= a[20] = false
  1316. a[14] >= a[20] = true
  1317. a[14] < a[21] = false
  1318. a[14] > a[21] = false
  1319. a[14] <= a[21] = false
  1320. a[14] >= a[21] = false
  1321. a[15] < a[0] = false
  1322. a[15] > a[0] = false
  1323. a[15] <= a[0] = true
  1324. a[15] >= a[0] = true
  1325. a[15] < a[1] = true
  1326. a[15] > a[1] = false
  1327. a[15] <= a[1] = true
  1328. a[15] >= a[1] = false
  1329. a[15] < a[2] = true
  1330. a[15] > a[2] = false
  1331. a[15] <= a[2] = true
  1332. a[15] >= a[2] = false
  1333. a[15] < a[3] = false
  1334. a[15] > a[3] = true
  1335. a[15] <= a[3] = false
  1336. a[15] >= a[3] = true
  1337. a[15] < a[4] = true
  1338. a[15] > a[4] = false
  1339. a[15] <= a[4] = true
  1340. a[15] >= a[4] = false
  1341. a[15] < a[5] = true
  1342. a[15] > a[5] = false
  1343. a[15] <= a[5] = true
  1344. a[15] >= a[5] = false
  1345. a[15] < a[6] = true
  1346. a[15] > a[6] = false
  1347. a[15] <= a[6] = true
  1348. a[15] >= a[6] = false
  1349. a[15] < a[7] = false
  1350. a[15] > a[7] = false
  1351. a[15] <= a[7] = false
  1352. a[15] >= a[7] = false
  1353. a[15] < a[8] = false
  1354. a[15] > a[8] = false
  1355. a[15] <= a[8] = false
  1356. a[15] >= a[8] = false
  1357. a[15] < a[9] = false
  1358. a[15] > a[9] = false
  1359. a[15] <= a[9] = false
  1360. a[15] >= a[9] = false
  1361. a[15] < a[10] = false
  1362. a[15] > a[10] = false
  1363. a[15] <= a[10] = false
  1364. a[15] >= a[10] = false
  1365. a[15] < a[11] = false
  1366. a[15] > a[11] = false
  1367. a[15] <= a[11] = false
  1368. a[15] >= a[11] = false
  1369. a[15] < a[12] = false
  1370. a[15] > a[12] = false
  1371. a[15] <= a[12] = false
  1372. a[15] >= a[12] = false
  1373. a[15] < a[13] = false
  1374. a[15] > a[13] = false
  1375. a[15] <= a[13] = false
  1376. a[15] >= a[13] = false
  1377. a[15] < a[14] = false
  1378. a[15] > a[14] = false
  1379. a[15] <= a[14] = true
  1380. a[15] >= a[14] = true
  1381. a[15] < a[15] = false
  1382. a[15] > a[15] = false
  1383. a[15] <= a[15] = true
  1384. a[15] >= a[15] = true
  1385. a[15] < a[16] = true
  1386. a[15] > a[16] = false
  1387. a[15] <= a[16] = true
  1388. a[15] >= a[16] = false
  1389. a[15] < a[17] = true
  1390. a[15] > a[17] = false
  1391. a[15] <= a[17] = true
  1392. a[15] >= a[17] = false
  1393. a[15] < a[18] = true
  1394. a[15] > a[18] = false
  1395. a[15] <= a[18] = true
  1396. a[15] >= a[18] = false
  1397. a[15] < a[19] = true
  1398. a[15] > a[19] = false
  1399. a[15] <= a[19] = true
  1400. a[15] >= a[19] = false
  1401. a[15] < a[20] = false
  1402. a[15] > a[20] = true
  1403. a[15] <= a[20] = false
  1404. a[15] >= a[20] = true
  1405. a[15] < a[21] = false
  1406. a[15] > a[21] = false
  1407. a[15] <= a[21] = false
  1408. a[15] >= a[21] = false
  1409. a[16] < a[0] = false
  1410. a[16] > a[0] = true
  1411. a[16] <= a[0] = false
  1412. a[16] >= a[0] = true
  1413. a[16] < a[1] = true
  1414. a[16] > a[1] = false
  1415. a[16] <= a[1] = true
  1416. a[16] >= a[1] = false
  1417. a[16] < a[2] = false
  1418. a[16] > a[2] = false
  1419. a[16] <= a[2] = true
  1420. a[16] >= a[2] = true
  1421. a[16] < a[3] = false
  1422. a[16] > a[3] = true
  1423. a[16] <= a[3] = false
  1424. a[16] >= a[3] = true
  1425. a[16] < a[4] = false
  1426. a[16] > a[4] = false
  1427. a[16] <= a[4] = true
  1428. a[16] >= a[4] = true
  1429. a[16] < a[5] = true
  1430. a[16] > a[5] = false
  1431. a[16] <= a[5] = true
  1432. a[16] >= a[5] = false
  1433. a[16] < a[6] = true
  1434. a[16] > a[6] = false
  1435. a[16] <= a[6] = true
  1436. a[16] >= a[6] = false
  1437. a[16] < a[7] = false
  1438. a[16] > a[7] = false
  1439. a[16] <= a[7] = false
  1440. a[16] >= a[7] = false
  1441. a[16] < a[8] = false
  1442. a[16] > a[8] = false
  1443. a[16] <= a[8] = false
  1444. a[16] >= a[8] = false
  1445. a[16] < a[9] = false
  1446. a[16] > a[9] = false
  1447. a[16] <= a[9] = false
  1448. a[16] >= a[9] = false
  1449. a[16] < a[10] = false
  1450. a[16] > a[10] = false
  1451. a[16] <= a[10] = false
  1452. a[16] >= a[10] = false
  1453. a[16] < a[11] = false
  1454. a[16] > a[11] = false
  1455. a[16] <= a[11] = false
  1456. a[16] >= a[11] = false
  1457. a[16] < a[12] = false
  1458. a[16] > a[12] = false
  1459. a[16] <= a[12] = false
  1460. a[16] >= a[12] = false
  1461. a[16] < a[13] = false
  1462. a[16] > a[13] = false
  1463. a[16] <= a[13] = false
  1464. a[16] >= a[13] = false
  1465. a[16] < a[14] = false
  1466. a[16] > a[14] = true
  1467. a[16] <= a[14] = false
  1468. a[16] >= a[14] = true
  1469. a[16] < a[15] = false
  1470. a[16] > a[15] = true
  1471. a[16] <= a[15] = false
  1472. a[16] >= a[15] = true
  1473. a[16] < a[16] = false
  1474. a[16] > a[16] = false
  1475. a[16] <= a[16] = true
  1476. a[16] >= a[16] = true
  1477. a[16] < a[17] = true
  1478. a[16] > a[17] = false
  1479. a[16] <= a[17] = true
  1480. a[16] >= a[17] = false
  1481. a[16] < a[18] = false
  1482. a[16] > a[18] = true
  1483. a[16] <= a[18] = false
  1484. a[16] >= a[18] = true
  1485. a[16] < a[19] = true
  1486. a[16] > a[19] = false
  1487. a[16] <= a[19] = true
  1488. a[16] >= a[19] = false
  1489. a[16] < a[20] = false
  1490. a[16] > a[20] = true
  1491. a[16] <= a[20] = false
  1492. a[16] >= a[20] = true
  1493. a[16] < a[21] = false
  1494. a[16] > a[21] = false
  1495. a[16] <= a[21] = false
  1496. a[16] >= a[21] = false
  1497. a[17] < a[0] = false
  1498. a[17] > a[0] = true
  1499. a[17] <= a[0] = false
  1500. a[17] >= a[0] = true
  1501. a[17] < a[1] = false
  1502. a[17] > a[1] = true
  1503. a[17] <= a[1] = false
  1504. a[17] >= a[1] = true
  1505. a[17] < a[2] = false
  1506. a[17] > a[2] = true
  1507. a[17] <= a[2] = false
  1508. a[17] >= a[2] = true
  1509. a[17] < a[3] = false
  1510. a[17] > a[3] = true
  1511. a[17] <= a[3] = false
  1512. a[17] >= a[3] = true
  1513. a[17] < a[4] = false
  1514. a[17] > a[4] = true
  1515. a[17] <= a[4] = false
  1516. a[17] >= a[4] = true
  1517. a[17] < a[5] = false
  1518. a[17] > a[5] = true
  1519. a[17] <= a[5] = false
  1520. a[17] >= a[5] = true
  1521. a[17] < a[6] = false
  1522. a[17] > a[6] = true
  1523. a[17] <= a[6] = false
  1524. a[17] >= a[6] = true
  1525. a[17] < a[7] = false
  1526. a[17] > a[7] = false
  1527. a[17] <= a[7] = false
  1528. a[17] >= a[7] = false
  1529. a[17] < a[8] = false
  1530. a[17] > a[8] = false
  1531. a[17] <= a[8] = false
  1532. a[17] >= a[8] = false
  1533. a[17] < a[9] = false
  1534. a[17] > a[9] = false
  1535. a[17] <= a[9] = false
  1536. a[17] >= a[9] = false
  1537. a[17] < a[10] = false
  1538. a[17] > a[10] = false
  1539. a[17] <= a[10] = false
  1540. a[17] >= a[10] = false
  1541. a[17] < a[11] = false
  1542. a[17] > a[11] = false
  1543. a[17] <= a[11] = false
  1544. a[17] >= a[11] = false
  1545. a[17] < a[12] = false
  1546. a[17] > a[12] = false
  1547. a[17] <= a[12] = false
  1548. a[17] >= a[12] = false
  1549. a[17] < a[13] = false
  1550. a[17] > a[13] = false
  1551. a[17] <= a[13] = false
  1552. a[17] >= a[13] = false
  1553. a[17] < a[14] = false
  1554. a[17] > a[14] = true
  1555. a[17] <= a[14] = false
  1556. a[17] >= a[14] = true
  1557. a[17] < a[15] = false
  1558. a[17] > a[15] = true
  1559. a[17] <= a[15] = false
  1560. a[17] >= a[15] = true
  1561. a[17] < a[16] = false
  1562. a[17] > a[16] = true
  1563. a[17] <= a[16] = false
  1564. a[17] >= a[16] = true
  1565. a[17] < a[17] = false
  1566. a[17] > a[17] = false
  1567. a[17] <= a[17] = true
  1568. a[17] >= a[17] = true
  1569. a[17] < a[18] = false
  1570. a[17] > a[18] = true
  1571. a[17] <= a[18] = false
  1572. a[17] >= a[18] = true
  1573. a[17] < a[19] = true
  1574. a[17] > a[19] = false
  1575. a[17] <= a[19] = true
  1576. a[17] >= a[19] = false
  1577. a[17] < a[20] = false
  1578. a[17] > a[20] = true
  1579. a[17] <= a[20] = false
  1580. a[17] >= a[20] = true
  1581. a[17] < a[21] = false
  1582. a[17] > a[21] = false
  1583. a[17] <= a[21] = false
  1584. a[17] >= a[21] = false
  1585. a[18] < a[0] = false
  1586. a[18] > a[0] = true
  1587. a[18] <= a[0] = false
  1588. a[18] >= a[0] = true
  1589. a[18] < a[1] = true
  1590. a[18] > a[1] = false
  1591. a[18] <= a[1] = true
  1592. a[18] >= a[1] = false
  1593. a[18] < a[2] = true
  1594. a[18] > a[2] = false
  1595. a[18] <= a[2] = true
  1596. a[18] >= a[2] = false
  1597. a[18] < a[3] = false
  1598. a[18] > a[3] = true
  1599. a[18] <= a[3] = false
  1600. a[18] >= a[3] = true
  1601. a[18] < a[4] = true
  1602. a[18] > a[4] = false
  1603. a[18] <= a[4] = true
  1604. a[18] >= a[4] = false
  1605. a[18] < a[5] = true
  1606. a[18] > a[5] = false
  1607. a[18] <= a[5] = true
  1608. a[18] >= a[5] = false
  1609. a[18] < a[6] = true
  1610. a[18] > a[6] = false
  1611. a[18] <= a[6] = true
  1612. a[18] >= a[6] = false
  1613. a[18] < a[7] = false
  1614. a[18] > a[7] = false
  1615. a[18] <= a[7] = false
  1616. a[18] >= a[7] = false
  1617. a[18] < a[8] = false
  1618. a[18] > a[8] = false
  1619. a[18] <= a[8] = false
  1620. a[18] >= a[8] = false
  1621. a[18] < a[9] = false
  1622. a[18] > a[9] = false
  1623. a[18] <= a[9] = false
  1624. a[18] >= a[9] = false
  1625. a[18] < a[10] = false
  1626. a[18] > a[10] = false
  1627. a[18] <= a[10] = false
  1628. a[18] >= a[10] = false
  1629. a[18] < a[11] = false
  1630. a[18] > a[11] = false
  1631. a[18] <= a[11] = false
  1632. a[18] >= a[11] = false
  1633. a[18] < a[12] = false
  1634. a[18] > a[12] = false
  1635. a[18] <= a[12] = false
  1636. a[18] >= a[12] = false
  1637. a[18] < a[13] = false
  1638. a[18] > a[13] = false
  1639. a[18] <= a[13] = false
  1640. a[18] >= a[13] = false
  1641. a[18] < a[14] = false
  1642. a[18] > a[14] = true
  1643. a[18] <= a[14] = false
  1644. a[18] >= a[14] = true
  1645. a[18] < a[15] = false
  1646. a[18] > a[15] = true
  1647. a[18] <= a[15] = false
  1648. a[18] >= a[15] = true
  1649. a[18] < a[16] = true
  1650. a[18] > a[16] = false
  1651. a[18] <= a[16] = true
  1652. a[18] >= a[16] = false
  1653. a[18] < a[17] = true
  1654. a[18] > a[17] = false
  1655. a[18] <= a[17] = true
  1656. a[18] >= a[17] = false
  1657. a[18] < a[18] = false
  1658. a[18] > a[18] = false
  1659. a[18] <= a[18] = true
  1660. a[18] >= a[18] = true
  1661. a[18] < a[19] = true
  1662. a[18] > a[19] = false
  1663. a[18] <= a[19] = true
  1664. a[18] >= a[19] = false
  1665. a[18] < a[20] = false
  1666. a[18] > a[20] = true
  1667. a[18] <= a[20] = false
  1668. a[18] >= a[20] = true
  1669. a[18] < a[21] = false
  1670. a[18] > a[21] = false
  1671. a[18] <= a[21] = false
  1672. a[18] >= a[21] = false
  1673. a[19] < a[0] = false
  1674. a[19] > a[0] = true
  1675. a[19] <= a[0] = false
  1676. a[19] >= a[0] = true
  1677. a[19] < a[1] = false
  1678. a[19] > a[1] = true
  1679. a[19] <= a[1] = false
  1680. a[19] >= a[1] = true
  1681. a[19] < a[2] = false
  1682. a[19] > a[2] = true
  1683. a[19] <= a[2] = false
  1684. a[19] >= a[2] = true
  1685. a[19] < a[3] = false
  1686. a[19] > a[3] = true
  1687. a[19] <= a[3] = false
  1688. a[19] >= a[3] = true
  1689. a[19] < a[4] = false
  1690. a[19] > a[4] = true
  1691. a[19] <= a[4] = false
  1692. a[19] >= a[4] = true
  1693. a[19] < a[5] = false
  1694. a[19] > a[5] = true
  1695. a[19] <= a[5] = false
  1696. a[19] >= a[5] = true
  1697. a[19] < a[6] = false
  1698. a[19] > a[6] = true
  1699. a[19] <= a[6] = false
  1700. a[19] >= a[6] = true
  1701. a[19] < a[7] = false
  1702. a[19] > a[7] = false
  1703. a[19] <= a[7] = false
  1704. a[19] >= a[7] = false
  1705. a[19] < a[8] = false
  1706. a[19] > a[8] = false
  1707. a[19] <= a[8] = false
  1708. a[19] >= a[8] = false
  1709. a[19] < a[9] = false
  1710. a[19] > a[9] = false
  1711. a[19] <= a[9] = false
  1712. a[19] >= a[9] = false
  1713. a[19] < a[10] = false
  1714. a[19] > a[10] = false
  1715. a[19] <= a[10] = false
  1716. a[19] >= a[10] = false
  1717. a[19] < a[11] = false
  1718. a[19] > a[11] = false
  1719. a[19] <= a[11] = false
  1720. a[19] >= a[11] = false
  1721. a[19] < a[12] = false
  1722. a[19] > a[12] = false
  1723. a[19] <= a[12] = false
  1724. a[19] >= a[12] = false
  1725. a[19] < a[13] = false
  1726. a[19] > a[13] = false
  1727. a[19] <= a[13] = false
  1728. a[19] >= a[13] = false
  1729. a[19] < a[14] = false
  1730. a[19] > a[14] = true
  1731. a[19] <= a[14] = false
  1732. a[19] >= a[14] = true
  1733. a[19] < a[15] = false
  1734. a[19] > a[15] = true
  1735. a[19] <= a[15] = false
  1736. a[19] >= a[15] = true
  1737. a[19] < a[16] = false
  1738. a[19] > a[16] = true
  1739. a[19] <= a[16] = false
  1740. a[19] >= a[16] = true
  1741. a[19] < a[17] = false
  1742. a[19] > a[17] = true
  1743. a[19] <= a[17] = false
  1744. a[19] >= a[17] = true
  1745. a[19] < a[18] = false
  1746. a[19] > a[18] = true
  1747. a[19] <= a[18] = false
  1748. a[19] >= a[18] = true
  1749. a[19] < a[19] = false
  1750. a[19] > a[19] = false
  1751. a[19] <= a[19] = true
  1752. a[19] >= a[19] = true
  1753. a[19] < a[20] = false
  1754. a[19] > a[20] = true
  1755. a[19] <= a[20] = false
  1756. a[19] >= a[20] = true
  1757. a[19] < a[21] = false
  1758. a[19] > a[21] = false
  1759. a[19] <= a[21] = false
  1760. a[19] >= a[21] = false
  1761. a[20] < a[0] = true
  1762. a[20] > a[0] = false
  1763. a[20] <= a[0] = true
  1764. a[20] >= a[0] = false
  1765. a[20] < a[1] = true
  1766. a[20] > a[1] = false
  1767. a[20] <= a[1] = true
  1768. a[20] >= a[1] = false
  1769. a[20] < a[2] = true
  1770. a[20] > a[2] = false
  1771. a[20] <= a[2] = true
  1772. a[20] >= a[2] = false
  1773. a[20] < a[3] = true
  1774. a[20] > a[3] = false
  1775. a[20] <= a[3] = true
  1776. a[20] >= a[3] = false
  1777. a[20] < a[4] = true
  1778. a[20] > a[4] = false
  1779. a[20] <= a[4] = true
  1780. a[20] >= a[4] = false
  1781. a[20] < a[5] = true
  1782. a[20] > a[5] = false
  1783. a[20] <= a[5] = true
  1784. a[20] >= a[5] = false
  1785. a[20] < a[6] = true
  1786. a[20] > a[6] = false
  1787. a[20] <= a[6] = true
  1788. a[20] >= a[6] = false
  1789. a[20] < a[7] = false
  1790. a[20] > a[7] = false
  1791. a[20] <= a[7] = false
  1792. a[20] >= a[7] = false
  1793. a[20] < a[8] = false
  1794. a[20] > a[8] = false
  1795. a[20] <= a[8] = false
  1796. a[20] >= a[8] = false
  1797. a[20] < a[9] = false
  1798. a[20] > a[9] = false
  1799. a[20] <= a[9] = false
  1800. a[20] >= a[9] = false
  1801. a[20] < a[10] = false
  1802. a[20] > a[10] = false
  1803. a[20] <= a[10] = false
  1804. a[20] >= a[10] = false
  1805. a[20] < a[11] = false
  1806. a[20] > a[11] = false
  1807. a[20] <= a[11] = false
  1808. a[20] >= a[11] = false
  1809. a[20] < a[12] = false
  1810. a[20] > a[12] = false
  1811. a[20] <= a[12] = false
  1812. a[20] >= a[12] = false
  1813. a[20] < a[13] = false
  1814. a[20] > a[13] = false
  1815. a[20] <= a[13] = false
  1816. a[20] >= a[13] = false
  1817. a[20] < a[14] = true
  1818. a[20] > a[14] = false
  1819. a[20] <= a[14] = true
  1820. a[20] >= a[14] = false
  1821. a[20] < a[15] = true
  1822. a[20] > a[15] = false
  1823. a[20] <= a[15] = true
  1824. a[20] >= a[15] = false
  1825. a[20] < a[16] = true
  1826. a[20] > a[16] = false
  1827. a[20] <= a[16] = true
  1828. a[20] >= a[16] = false
  1829. a[20] < a[17] = true
  1830. a[20] > a[17] = false
  1831. a[20] <= a[17] = true
  1832. a[20] >= a[17] = false
  1833. a[20] < a[18] = true
  1834. a[20] > a[18] = false
  1835. a[20] <= a[18] = true
  1836. a[20] >= a[18] = false
  1837. a[20] < a[19] = true
  1838. a[20] > a[19] = false
  1839. a[20] <= a[19] = true
  1840. a[20] >= a[19] = false
  1841. a[20] < a[20] = false
  1842. a[20] > a[20] = false
  1843. a[20] <= a[20] = true
  1844. a[20] >= a[20] = true
  1845. a[20] < a[21] = false
  1846. a[20] > a[21] = false
  1847. a[20] <= a[21] = false
  1848. a[20] >= a[21] = false
  1849. a[21] < a[0] = false
  1850. a[21] > a[0] = false
  1851. a[21] <= a[0] = false
  1852. a[21] >= a[0] = false
  1853. a[21] < a[1] = false
  1854. a[21] > a[1] = false
  1855. a[21] <= a[1] = false
  1856. a[21] >= a[1] = false
  1857. a[21] < a[2] = false
  1858. a[21] > a[2] = false
  1859. a[21] <= a[2] = false
  1860. a[21] >= a[2] = false
  1861. a[21] < a[3] = false
  1862. a[21] > a[3] = false
  1863. a[21] <= a[3] = false
  1864. a[21] >= a[3] = false
  1865. a[21] < a[4] = false
  1866. a[21] > a[4] = false
  1867. a[21] <= a[4] = false
  1868. a[21] >= a[4] = false
  1869. a[21] < a[5] = false
  1870. a[21] > a[5] = false
  1871. a[21] <= a[5] = false
  1872. a[21] >= a[5] = false
  1873. a[21] < a[6] = false
  1874. a[21] > a[6] = false
  1875. a[21] <= a[6] = false
  1876. a[21] >= a[6] = false
  1877. a[21] < a[7] = false
  1878. a[21] > a[7] = false
  1879. a[21] <= a[7] = false
  1880. a[21] >= a[7] = false
  1881. a[21] < a[8] = false
  1882. a[21] > a[8] = false
  1883. a[21] <= a[8] = false
  1884. a[21] >= a[8] = false
  1885. a[21] < a[9] = false
  1886. a[21] > a[9] = false
  1887. a[21] <= a[9] = false
  1888. a[21] >= a[9] = false
  1889. a[21] < a[10] = false
  1890. a[21] > a[10] = false
  1891. a[21] <= a[10] = false
  1892. a[21] >= a[10] = false
  1893. a[21] < a[11] = false
  1894. a[21] > a[11] = false
  1895. a[21] <= a[11] = false
  1896. a[21] >= a[11] = false
  1897. a[21] < a[12] = false
  1898. a[21] > a[12] = false
  1899. a[21] <= a[12] = false
  1900. a[21] >= a[12] = false
  1901. a[21] < a[13] = false
  1902. a[21] > a[13] = false
  1903. a[21] <= a[13] = false
  1904. a[21] >= a[13] = false
  1905. a[21] < a[14] = false
  1906. a[21] > a[14] = false
  1907. a[21] <= a[14] = false
  1908. a[21] >= a[14] = false
  1909. a[21] < a[15] = false
  1910. a[21] > a[15] = false
  1911. a[21] <= a[15] = false
  1912. a[21] >= a[15] = false
  1913. a[21] < a[16] = false
  1914. a[21] > a[16] = false
  1915. a[21] <= a[16] = false
  1916. a[21] >= a[16] = false
  1917. a[21] < a[17] = false
  1918. a[21] > a[17] = false
  1919. a[21] <= a[17] = false
  1920. a[21] >= a[17] = false
  1921. a[21] < a[18] = false
  1922. a[21] > a[18] = false
  1923. a[21] <= a[18] = false
  1924. a[21] >= a[18] = false
  1925. a[21] < a[19] = false
  1926. a[21] > a[19] = false
  1927. a[21] <= a[19] = false
  1928. a[21] >= a[19] = false
  1929. a[21] < a[20] = false
  1930. a[21] > a[20] = false
  1931. a[21] <= a[20] = false
  1932. a[21] >= a[20] = false
  1933. a[21] < a[21] = false
  1934. a[21] > a[21] = false
  1935. a[21] <= a[21] = false
  1936. a[21] >= a[21] = false