O_1 = (1/14) < 7+0I+1J+10K, 7I+0J+7K, 2J+6K, 14K > O_2 = (1/14) < 7+0I+0J+7K, 7I+1J+10K, 2J+6K, 14K > O_3 = (1/28) < 14+0I+0J+14K, 7I+1J+24K, 8J+24K, 28K > O_4 = (1/28) < 14+0I+0J+14K, 7I+7J+0K, 8J+24K, 28K > O_5 = (1/56) < 28+0I+0J+28K, 7I+17J+16K, 32J+40K, 56K > O_6 = (1/56) < 28+0I+16J+20K, 7I+9J+20K, 32J+40K, 56K > O_7 = (1/56) < 28+0I+16J+20K, 7I+23J+20K, 32J+40K, 56K > O_8 = (1/56) < 28+0I+0J+28K, 7I+15J+24K, 32J+40K, 56K > O_9 = (1/112) < 56+0I+0J+56K, 7I+113J+80K, 128J+48K, 112K > O_10 = (1/112) < 56+0I+64J+24K, 7I+81J+40K, 128J+48K, 112K > O_11 = (1/112) < 56+0I+32J+40K, 7I+9J+188K, 64J+80K, 224K > O_12 = (1/112) < 56+0I+32J+152K, 7I+9J+132K, 64J+80K, 224K > O_13 = (1/112) < 56+0I+32J+152K, 7I+55J+172K, 64J+80K, 224K > O_14 = (1/112) < 56+0I+32J+40K, 7I+55J+116K, 64J+80K, 224K > O_15 = (1/112) < 56+0I+64J+24K, 7I+47J+8K, 128J+48K, 112K > O_16 = (1/112) < 56+0I+0J+56K, 7I+15J+80K, 128J+48K, 112K > O_17 = (1/224) < 112+0I+256J+208K, 7I+113J+80K, 512J+192K, 224K > O_18 = (1/224) < 112+0I+0J+112K, 7I+241J+128K, 512J+192K, 224K > O_19 = (1/224) < 112+0I+128J+272K, 7I+209J+88K, 256J+96K, 448K > O_20 = (1/224) < 112+0I+128J+48K, 7I+209J+424K, 256J+96K, 448K > O_21 = (1/224) < 112+0I+64J+528K, 7I+9J+636K, 128J+160K, 896K > O_22 = (1/224) < 112+0I+64J+80K, 7I+73J+44K, 128J+160K, 896K > O_23 = (1/224) < 112+0I+64J+752K, 7I+9J+132K, 128J+608K, 896K > O_24 = (1/224) < 112+0I+64J+304K, 7I+73J+212K, 128J+608K, 896K > O_25 = (1/224) < 112+0I+64J+304K, 7I+55J+396K, 128J+608K, 896K > O_26 = (1/224) < 112+0I+64J+752K, 7I+119J+476K, 128J+608K, 896K > O_27 = (1/224) < 112+0I+64J+80K, 7I+55J+116K, 128J+160K, 896K > O_28 = (1/224) < 112+0I+64J+528K, 7I+119J+420K, 128J+160K, 896K > O_29 = (1/224) < 112+0I+128J+48K, 7I+47J+120K, 256J+96K, 448K > O_30 = (1/224) < 112+0I+128J+272K, 7I+47J+8K, 256J+96K, 448K > O_31 = (1/224) < 112+0I+0J+112K, 7I+271J+64K, 512J+192K, 224K > O_32 = (1/224) < 112+0I+256J+208K, 7I+399J+112K, 512J+192K, 224K > O_33 = (1/448) < 224+0I+512J+864K, 7I+625J+720K, 1024J+832K, 896K > O_34 = (1/448) < 224+0I+512J+416K, 7I+625J+48K, 1024J+832K, 896K > O_35 = (1/448) < 224+0I+1024J+160K, 7I+241J+352K, 2048J+320K, 448K > O_36 = (1/448) < 224+0I+0J+224K, 7I+753J+320K, 2048J+320K, 448K > O_37 = (1/448) < 224+0I+256J+544K, 7I+465J+1528K, 512J+1088K, 1792K > O_38 = (1/448) < 224+0I+256J+992K, 7I+465J+520K, 512J+192K, 1792K > O_39 = (1/448) < 224+0I+256J+96K, 7I+209J+1768K, 512J+192K, 1792K > O_40 = (1/448) < 224+0I+128J+2848K, 7I+137J+2588K, 256J+2112K, 3584K > O_41 = (1/448) < 224+0I+128J+160K, 7I+201J+204K, 256J+320K, 3584K > O_42 = (1/448) < 224+0I+128J+1952K, 7I+73J+2732K, 256J+320K, 3584K > O_43 = (1/448) < 224+0I+128J+1504K, 7I+9J+132K, 256J+3008K, 3584K > O_44 = (1/448) < 224+0I+128J+608K, 7I+73J+2900K, 256J+1216K, 3584K > O_45 = (1/448) < 224+0I+128J+2400K, 7I+201J+820K, 256J+1216K, 3584K > O_46 = (1/448) < 224+0I+128J+608K, 7I+183J+1900K, 256J+1216K, 3584K > O_47 = (1/448) < 224+0I+128J+3296K, 7I+119J+476K, 256J+3008K, 3584K > O_48 = (1/448) < 224+0I+128J+1504K, 7I+247J+2876K, 256J+3008K, 3584K > O_49 = (1/448) < 224+0I+128J+1952K, 7I+183J+1172K, 256J+320K, 3584K > O_50 = (1/448) < 224+0I+128J+160K, 7I+55J+116K, 256J+320K, 3584K > O_51 = (1/448) < 224+0I+128J+2848K, 7I+119J+3108K, 256J+2112K, 3584K > O_52 = (1/448) < 224+0I+256J+992K, 7I+47J+1464K, 512J+192K, 1792K > O_53 = (1/448) < 224+0I+256J+544K, 7I+47J+1352K, 512J+1088K, 1792K > O_54 = (1/448) < 224+0I+0J+224K, 7I+1295J+0K, 2048J+320K, 448K > O_55 = (1/448) < 224+0I+1024J+160K, 7I+1807J+416K, 2048J+320K, 448K > O_56 = (1/448) < 224+0I+512J+416K, 7I+399J+784K, 1024J+832K, 896K > O_57 = (1/448) < 224+0I+512J+864K, 7I+399J+112K, 1024J+832K, 896K > O_58 = (1/896) < 448+0I+1024J+3520K, 7I+1649J+3344K, 2048J+3456K, 3584K > O_59 = (1/896) < 448+0I+1024J+1728K, 7I+625J+720K, 2048J+3456K, 3584K > O_60 = (1/896) < 448+0I+1024J+832K, 7I+625J+1840K, 2048J+1664K, 3584K > O_61 = (1/896) < 448+0I+1024J+2624K, 7I+1649J+1776K, 2048J+1664K, 3584K > O_62 = (1/896) < 448+0I+2048J+1216K, 7I+241J+800K, 4096J+640K, 1792K > O_63 = (1/896) < 448+0I+0J+448K, 7I+4849J+512K, 8192J+384K, 896K > O_64 = (1/896) < 448+0I+512J+1088K, 7I+977J+6200K, 1024J+2176K, 7168K > O_65 = (1/896) < 448+0I+512J+4672K, 7I+465J+3320K, 1024J+2176K, 7168K > O_66 = (1/896) < 448+0I+512J+5568K, 7I+465J+5896K, 1024J+3968K, 7168K > O_67 = (1/896) < 448+0I+512J+192K, 7I+209J+7144K, 1024J+384K, 7168K > O_68 = (1/896) < 448+0I+256J+12864K, 7I+137J+6172K, 512J+11392K, 14336K > O_69 = (1/896) < 448+0I+256J+5696K, 7I+393J+1116K, 512J+11392K, 14336K > O_70 = (1/896) < 448+0I+256J+7488K, 7I+457J+4108K, 512J+640K, 14336K > O_71 = (1/896) < 448+0I+256J+11072K, 7I+329J+3052K, 512J+7808K, 14336K > O_72 = (1/896) < 448+0I+256J+3904K, 7I+73J+2732K, 512J+7808K, 14336K > O_73 = (1/896) < 448+0I+256J+10176K, 7I+9J+7300K, 512J+6016K, 14336K > O_74 = (1/896) < 448+0I+256J+3008K, 7I+265J+6724K, 512J+6016K, 14336K > O_75 = (1/896) < 448+0I+256J+8384K, 7I+73J+13652K, 512J+2432K, 14336K > O_76 = (1/896) < 448+0I+256J+1216K, 7I+329J+11284K, 512J+2432K, 14336K > O_77 = (1/896) < 448+0I+256J+11968K, 7I+201J+820K, 512J+9600K, 14336K > O_78 = (1/896) < 448+0I+256J+8384K, 7I+439J+3116K, 512J+2432K, 14336K > O_79 = (1/896) < 448+0I+256J+10176K, 7I+503J+13052K, 512J+6016K, 14336K > O_80 = (1/896) < 448+0I+256J+3904K, 7I+439J+5076K, 512J+7808K, 14336K > O_81 = (1/896) < 448+0I+256J+11072K, 7I+183J+4756K, 512J+7808K, 14336K > O_82 = (1/896) < 448+0I+256J+7488K, 7I+55J+10868K, 512J+640K, 14336K > O_83 = (1/896) < 448+0I+256J+5696K, 7I+119J+10276K, 512J+11392K, 14336K > O_84 = (1/896) < 448+0I+256J+12864K, 7I+375J+5220K, 512J+11392K, 14336K > O_85 = (1/896) < 448+0I+512J+5568K, 7I+559J+5240K, 1024J+3968K, 7168K > O_86 = (1/896) < 448+0I+512J+4672K, 7I+559J+6024K, 1024J+2176K, 7168K > O_87 = (1/896) < 448+0I+512J+1088K, 7I+47J+3144K, 1024J+2176K, 7168K > O_88 = (1/896) < 448+0I+0J+448K, 7I+3343J+768K, 8192J+384K, 896K > O_89 = (1/896) < 448+0I+1024J+2624K, 7I+399J+3472K, 2048J+1664K, 3584K > O_90 = (1/896) < 448+0I+1024J+832K, 7I+1423J+3408K, 2048J+1664K, 3584K > O_91 = (1/896) < 448+0I+1024J+1728K, 7I+1423J+2736K, 2048J+3456K, 3584K > O_92 = (1/896) < 448+0I+1024J+3520K, 7I+399J+112K, 2048J+3456K, 3584K > O_93 = (1/1792) < 896+0I+2048J+14208K, 7I+3697J+6800K, 4096J+14080K, 14336K > O_94 = (1/1792) < 896+0I+2048J+7040K, 7I+1649J+10512K, 4096J+14080K, 14336K > O_95 = (1/1792) < 896+0I+2048J+10624K, 7I+625J+7888K, 4096J+6912K, 14336K > O_96 = (1/1792) < 896+0I+2048J+8832K, 7I+2673J+10672K, 4096J+3328K, 14336K > O_97 = (1/1792) < 896+0I+2048J+1664K, 7I+625J+12592K, 4096J+3328K, 14336K > O_98 = (1/1792) < 896+0I+2048J+5248K, 7I+1649J+1776K, 4096J+10496K, 14336K > O_99 = (1/1792) < 896+0I+2048J+12416K, 7I+3697J+3440K, 4096J+10496K, 14336K > O_100 = (1/1792) < 896+0I+0J+896K, 7I+4849J+512K, 32768J+1536K, 1792K > O_101 = (1/1792) < 896+0I+1024J+16512K, 7I+2001J+22712K, 2048J+4352K, 28672K > O_102 = (1/1792) < 896+0I+1024J+23680K, 7I+1489J+27000K, 2048J+18688K, 28672K > O_103 = (1/1792) < 896+0I+1024J+9344K, 7I+465J+24824K, 2048J+18688K, 28672K > O_104 = (1/1792) < 896+0I+1024J+25472K, 7I+1489J+9864K, 2048J+22272K, 28672K > O_105 = (1/1792) < 896+0I+1024J+14720K, 7I+1233J+14696K, 2048J+768K, 28672K > O_106 = (1/1792) < 896+0I+512J+25728K, 7I+649J+3228K, 1024J+51456K, 57344K > O_107 = (1/1792) < 896+0I+512J+54400K, 7I+137J+20508K, 1024J+51456K, 57344K > O_108 = (1/1792) < 896+0I+512J+11392K, 7I+905J+12508K, 1024J+22784K, 57344K > O_109 = (1/1792) < 896+0I+512J+14976K, 7I+457J+32780K, 1024J+29952K, 57344K > O_110 = (1/1792) < 896+0I+512J+50816K, 7I+841J+25196K, 1024J+44288K, 57344K > O_111 = (1/1792) < 896+0I+512J+7808K, 7I+585J+10540K, 1024J+15616K, 57344K > O_112 = (1/1792) < 896+0I+512J+36480K, 7I+73J+45740K, 1024J+15616K, 57344K > O_113 = (1/1792) < 896+0I+512J+20352K, 7I+521J+41988K, 1024J+40704K, 57344K > O_114 = (1/1792) < 896+0I+512J+16768K, 7I+585J+30420K, 1024J+33536K, 57344K > O_115 = (1/1792) < 896+0I+512J+31104K, 7I+841J+56724K, 1024J+4864K, 57344K > O_116 = (1/1792) < 896+0I+512J+23936K, 7I+713J+10420K, 1024J+47872K, 57344K > O_117 = (1/1792) < 896+0I+512J+52608K, 7I+201J+820K, 1024J+47872K, 57344K > O_118 = (1/1792) < 896+0I+512J+45440K, 7I+951J+5548K, 1024J+33536K, 57344K > O_119 = (1/1792) < 896+0I+512J+36480K, 7I+951J+27220K, 1024J+15616K, 57344K > O_120 = (1/1792) < 896+0I+512J+22144K, 7I+695J+26900K, 1024J+44288K, 57344K > O_121 = (1/1792) < 896+0I+512J+14976K, 7I+567J+54516K, 1024J+29952K, 57344K > O_122 = (1/1792) < 896+0I+512J+40064K, 7I+631J+36004K, 1024J+22784K, 57344K > O_123 = (1/1792) < 896+0I+512J+54400K, 7I+887J+30948K, 1024J+51456K, 57344K > O_124 = (1/1792) < 896+0I+512J+25728K, 7I+375J+48228K, 1024J+51456K, 57344K > O_125 = (1/1792) < 896+0I+1024J+11136K, 7I+1583J+2040K, 2048J+22272K, 28672K > O_126 = (1/1792) < 896+0I+1024J+9344K, 7I+1583J+22536K, 2048J+18688K, 28672K > O_127 = (1/1792) < 896+0I+1024J+16512K, 7I+47J+10312K, 2048J+4352K, 28672K > O_128 = (1/1792) < 896+0I+0J+896K, 7I+27919J+1024K, 32768J+1536K, 1792K > O_129 = (1/1792) < 896+0I+2048J+1664K, 7I+3471J+5072K, 4096J+3328K, 14336K > O_130 = (1/1792) < 896+0I+2048J+10624K, 7I+3471J+13360K, 4096J+6912K, 14336K > O_131 = (1/1792) < 896+0I+2048J+14208K, 7I+399J+7280K, 4096J+14080K, 14336K > O_132 = (1/3584) < 1792+0I+4096J+28416K, 7I+7793J+35216K, 8192J+56832K, 57344K > O_133 = (1/3584) < 1792+0I+4096J+14080K, 7I+5745J+24592K, 8192J+28160K, 57344K > O_134 = (1/3584) < 1792+0I+4096J+46336K, 7I+2673J+53680K, 8192J+35328K, 57344K > O_135 = (1/3584) < 1792+0I+4096J+32000K, 7I+4721J+30256K, 8192J+6656K, 57344K > O_136 = (1/3584) < 1792+0I+4096J+3328K, 7I+625J+41264K, 8192J+6656K, 57344K > O_137 = (1/3584) < 1792+0I+0J+1792K, 7I+37617J+2048K, 131072J+2560K, 3584K > O_138 = (1/3584) < 1792+0I+65536J+1280K, 7I+4849J+2304K, 131072J+2560K, 3584K > O_139 = (1/3584) < 1792+0I+2048J+33024K, 7I+2001J+51384K, 4096J+66048K, 114688K > O_140 = (1/3584) < 1792+0I+2048J+90368K, 7I+4049J+55736K, 4096J+66048K, 114688K > O_141 = (1/3584) < 1792+0I+2048J+76032K, 7I+2513J+72184K, 4096J+37376K, 114688K > O_142 = (1/3584) < 1792+0I+2048J+86784K, 7I+1233J+14696K, 4096J+58880K, 114688K > O_143 = (1/3584) < 1792+0I+2048J+29440K, 7I+3281J+15464K, 4096J+58880K, 114688K > O_144 = (1/3584) < 1792+0I+1024J+223488K, 7I+1161J+129308K, 2048J+217600K, 229376K > O_145 = (1/3584) < 1792+0I+1024J+22784K, 7I+905J+127196K, 2048J+45568K, 229376K > O_146 = (1/3584) < 1792+0I+1024J+130304K, 7I+1609J+83500K, 2048J+31232K, 229376K > O_147 = (1/3584) < 1792+0I+1024J+187648K, 7I+1097J+176044K, 2048J+145920K, 229376K > O_148 = (1/3584) < 1792+0I+1024J+40704K, 7I+521J+214020K, 2048J+81408K, 229376K > O_149 = (1/3584) < 1792+0I+1024J+33536K, 7I+1609J+178644K, 2048J+67072K, 229376K > O_150 = (1/3584) < 1792+0I+1024J+162560K, 7I+1737J+58292K, 2048J+95744K, 229376K > O_151 = (1/3584) < 1792+0I+1024J+47872K, 7I+713J+182452K, 2048J+95744K, 229376K > O_152 = (1/3584) < 1792+0I+1024J+105216K, 7I+1225J+163380K, 2048J+210432K, 229376K > O_153 = (1/3584) < 1792+0I+1024J+219904K, 7I+201J+115508K, 2048J+210432K, 229376K > O_154 = (1/3584) < 1792+0I+1024J+187648K, 7I+951J+199252K, 2048J+145920K, 229376K > O_155 = (1/3584) < 1792+0I+1024J+166144K, 7I+375J+220260K, 2048J+102912K, 229376K > O_156 = (1/3584) < 1792+0I+2048J+76032K, 7I+1583J+79880K, 4096J+37376K, 114688K > O_157 = (1/3584) < 1792+0I+2048J+90368K, 7I+47J+10312K, 4096J+66048K, 114688K > O_158 = (1/3584) < 1792+0I+2048J+33024K, 7I+2095J+14664K, 4096J+66048K, 114688K > O_159 = (1/3584) < 1792+0I+4096J+3328K, 7I+7567J+22736K, 8192J+6656K, 57344K > O_160 = (1/3584) < 1792+0I+4096J+32000K, 7I+3471J+33744K, 8192J+6656K, 57344K > O_161 = (1/3584) < 1792+0I+4096J+28416K, 7I+399J+21616K, 8192J+56832K, 57344K > O_162 = (1/7168) < 3584+0I+8192J+171520K, 7I+7793J+207248K, 16384J+113664K, 229376K > O_163 = (1/7168) < 3584+0I+8192J+178688K, 7I+4721J+144944K, 16384J+128000K, 229376K > O_164 = (1/7168) < 3584+0I+8192J+121344K, 7I+8817J+162608K, 16384J+13312K, 229376K > O_165 = (1/7168) < 3584+0I+8192J+6656K, 7I+625J+213296K, 16384J+13312K, 229376K > O_166 = (1/7168) < 3584+0I+262144J+1536K, 7I+168689J+4608K, 524288J+3072K, 7168K > O_167 = (1/7168) < 3584+0I+131072J+9728K, 7I+4849J+2304K, 262144J+5120K, 14336K > O_168 = (1/7168) < 3584+0I+4096J+410112K, 7I+4049J+55736K, 8192J+361472K, 458752K > O_169 = (1/7168) < 3584+0I+4096J+381440K, 7I+6609J+453624K, 8192J+304128K, 458752K > O_170 = (1/7168) < 3584+0I+4096J+58880K, 7I+7377J+303720K, 8192J+117760K, 458752K > O_171 = (1/7168) < 3584+0I+2048J+375296K, 7I+1097J+864172K, 4096J+750592K, 917504K > O_172 = (1/7168) < 3584+0I+2048J+525824K, 7I+3657J+245716K, 4096J+134144K, 917504K > O_173 = (1/7168) < 3584+0I+2048J+439808K, 7I+2249J+325940K, 4096J+879616K, 917504K > O_174 = (1/14336) < 7168+0I+16384J+343040K, 7I+24177J+91536K, 32768J+686080K, 917504K >