Created
July 17, 2011 15:54
-
-
Save drx/1087720 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Minimize | |
value: mod0+mod1+mod2+mod3+mod4+mod5+mod6+mod7+mod8+mod9+mod10+mod11+mod12+mod13+mod14+mod15+mod16+mod17+mod18+mod19+mod20+mod21+mod22+mod23+mod24+mod25+mod26+mod27+mod28+mod29+mod30+mod31+mod32+mod33+mod34+mod35+mod36+mod37+mod38+mod39+mod40+mod41+mod42+mod43+mod44+mod45+mod46+mod47+mod48+mod49+mod50+mod51+mod52+mod53+mod54+mod55+mod56+mod57+mod58+mod59+k0+k1+k2+k3+k4+k5+k6+k7+k8+k9+k10+k11+k12+k13+k14+k15+k16+k17+k18+k19+k20+k21+k22+k23+k24+k25+k26+k27+k28+k29+k30+k31+k32+k33+k34+k35+k36+k37+k38+k39+k40+k41+k42+k43+k44+k45+k46+k47+k48+k49+k50+k51+k52+k53+k54+k55+k56+k57+k58+k59 | |
Subject To | |
lvl0: seed0 - 10mod0 = 7 | |
rand1: seed1 - 4294967296seedmod0 - Aseed0 - k0 = 0 | |
no1: seed1 - 125mod1 = 80 | |
rand2: seed2 - 4294967296seedmod1 - Aseed1 - k1 = 0 | |
qual2: seed2 - 100000mod2 = 56548 | |
rand3: seed3 - 4294967296seedmod2 - Aseed2 - k2 = 0 | |
lvl3: seed3 - 10mod3 = 5 | |
rand4: seed4 - 4294967296seedmod3 - Aseed3 - k3 = 0 | |
no4: seed4 - 125mod4 = 32 | |
rand5: seed5 - 4294967296seedmod4 - Aseed4 - k4 = 0 | |
qual5: seed5 - 100000mod5 = 33131 | |
rand6: seed6 - 4294967296seedmod5 - Aseed5 - k5 = 0 | |
lvl6: seed6 - 10mod6 = 6 | |
rand7: seed7 - 4294967296seedmod6 - Aseed6 - k6 = 0 | |
no7: seed7 - 125mod7 = 34 | |
rand8: seed8 - 4294967296seedmod7 - Aseed7 - k7 = 0 | |
exc8: seed8 - 10000mod8 = 6817 | |
rand9: seed9 - 4294967296seedmod8 - Aseed8 - k8 = 0 | |
eli9: seed9 - 10000mod9 = 3568 | |
rand10: seed10 - 4294967296seedmod9 - Aseed9 - k9 = 0 | |
qual10: seed10 - 100000mod10 = 91492 | |
rand11: seed11 - 4294967296seedmod10 - Aseed10 - k10 = 0 | |
lvl11: seed11 - 10mod11 = 5 | |
rand12: seed12 - 4294967296seedmod11 - Aseed11 - k11 = 0 | |
no12: seed12 - 125mod12 = 38 | |
rand13: seed13 - 4294967296seedmod12 - Aseed12 - k12 = 0 | |
exc13: seed13 - 10000mod13 = 5768 | |
rand14: seed14 - 4294967296seedmod13 - Aseed13 - k13 = 0 | |
eli14: seed14 - 10000mod14 = 394 | |
rand15: seed15 - 4294967296seedmod14 - Aseed14 - k14 = 0 | |
qual15: seed15 - 100000mod15 = 59487 | |
rand16: seed16 - 4294967296seedmod15 - Aseed15 - k15 = 0 | |
lvl16: seed16 - 10mod16 = 2 | |
rand17: seed17 - 4294967296seedmod16 - Aseed16 - k16 = 0 | |
no17: seed17 - 125mod17 = 58 | |
rand18: seed18 - 4294967296seedmod17 - Aseed17 - k17 = 0 | |
exc18: seed18 - 10000mod18 = 925 | |
rand19: seed19 - 4294967296seedmod18 - Aseed18 - k18 = 0 | |
qual19: seed19 - 100000mod19 = 45683 | |
rand20: seed20 - 4294967296seedmod19 - Aseed19 - k19 = 0 | |
lvl20: seed20 - 10mod20 = 8 | |
rand21: seed21 - 4294967296seedmod20 - Aseed20 - k20 = 0 | |
no21: seed21 - 125mod21 = 0 | |
rand22: seed22 - 4294967296seedmod21 - Aseed21 - k21 = 0 | |
qual22: seed22 - 100000mod22 = 13077 | |
rand23: seed23 - 4294967296seedmod22 - Aseed22 - k22 = 0 | |
lvl23: seed23 - 10mod23 = 7 | |
rand24: seed24 - 4294967296seedmod23 - Aseed23 - k23 = 0 | |
no24: seed24 - 125mod24 = 37 | |
rand25: seed25 - 4294967296seedmod24 - Aseed24 - k24 = 0 | |
exc25: seed25 - 10000mod25 = 2067 | |
rand26: seed26 - 4294967296seedmod25 - Aseed25 - k25 = 0 | |
qual26: seed26 - 100000mod26 = 2582 | |
rand27: seed27 - 4294967296seedmod26 - Aseed26 - k26 = 0 | |
lvl27: seed27 - 10mod27 = 9 | |
rand28: seed28 - 4294967296seedmod27 - Aseed27 - k27 = 0 | |
no28: seed28 - 125mod28 = 62 | |
rand29: seed29 - 4294967296seedmod28 - Aseed28 - k28 = 0 | |
exc29: seed29 - 10000mod29 = 3439 | |
rand30: seed30 - 4294967296seedmod29 - Aseed29 - k29 = 0 | |
qual30: seed30 - 100000mod30 = 96731 | |
rand31: seed31 - 4294967296seedmod30 - Aseed30 - k30 = 0 | |
lvl31: seed31 - 10mod31 = 1 | |
rand32: seed32 - 4294967296seedmod31 - Aseed31 - k31 = 0 | |
no32: seed32 - 125mod32 = 20 | |
rand33: seed33 - 4294967296seedmod32 - Aseed32 - k32 = 0 | |
exc33: seed33 - 10000mod33 = 6347 | |
rand34: seed34 - 4294967296seedmod33 - Aseed33 - k33 = 0 | |
eli34: seed34 - 10000mod34 = 4540 | |
rand35: seed35 - 4294967296seedmod34 - Aseed34 - k34 = 0 | |
qual35: seed35 - 100000mod35 = 20641 | |
rand36: seed36 - 4294967296seedmod35 - Aseed35 - k35 = 0 | |
lvl36: seed36 - 10mod36 = 8 | |
rand37: seed37 - 4294967296seedmod36 - Aseed36 - k36 = 0 | |
no37: seed37 - 125mod37 = 58 | |
rand38: seed38 - 4294967296seedmod37 - Aseed37 - k37 = 0 | |
exc38: seed38 - 10000mod38 = 4238 | |
rand39: seed39 - 4294967296seedmod38 - Aseed38 - k38 = 0 | |
qual39: seed39 - 100000mod39 = 255 | |
rand40: seed40 - 4294967296seedmod39 - Aseed39 - k39 = 0 | |
lvl40: seed40 - 10mod40 = 3 | |
rand41: seed41 - 4294967296seedmod40 - Aseed40 - k40 = 0 | |
no41: seed41 - 125mod41 = 113 | |
rand42: seed42 - 4294967296seedmod41 - Aseed41 - k41 = 0 | |
exc42: seed42 - 10000mod42 = 5653 | |
rand43: seed43 - 4294967296seedmod42 - Aseed42 - k42 = 0 | |
eli43: seed43 - 10000mod43 = 4154 | |
rand44: seed44 - 4294967296seedmod43 - Aseed43 - k43 = 0 | |
qual44: seed44 - 100000mod44 = 75770 | |
rand45: seed45 - 4294967296seedmod44 - Aseed44 - k44 = 0 | |
lvl45: seed45 - 10mod45 = 8 | |
rand46: seed46 - 4294967296seedmod45 - Aseed45 - k45 = 0 | |
no46: seed46 - 125mod46 = 112 | |
rand47: seed47 - 4294967296seedmod46 - Aseed46 - k46 = 0 | |
exc47: seed47 - 10000mod47 = 4816 | |
rand48: seed48 - 4294967296seedmod47 - Aseed47 - k47 = 0 | |
eli48: seed48 - 10000mod48 = 1637 | |
rand49: seed49 - 4294967296seedmod48 - Aseed48 - k48 = 0 | |
qual49: seed49 - 100000mod49 = 96447 | |
rand50: seed50 - 4294967296seedmod49 - Aseed49 - k49 = 0 | |
lvl50: seed50 - 10mod50 = 4 | |
rand51: seed51 - 4294967296seedmod50 - Aseed50 - k50 = 0 | |
no51: seed51 - 125mod51 = 113 | |
rand52: seed52 - 4294967296seedmod51 - Aseed51 - k51 = 0 | |
exc52: seed52 - 10000mod52 = 5697 | |
rand53: seed53 - 4294967296seedmod52 - Aseed52 - k52 = 0 | |
eli53: seed53 - 10000mod53 = 6406 | |
rand54: seed54 - 4294967296seedmod53 - Aseed53 - k53 = 0 | |
qual54: seed54 - 100000mod54 = 94847 | |
rand55: seed55 - 4294967296seedmod54 - Aseed54 - k54 = 0 | |
lvl55: seed55 - 10mod55 = 8 | |
rand56: seed56 - 4294967296seedmod55 - Aseed55 - k55 = 0 | |
no56: seed56 - 125mod56 = 48 | |
rand57: seed57 - 4294967296seedmod56 - Aseed56 - k56 = 0 | |
exc57: seed57 - 10000mod57 = 6053 | |
rand58: seed58 - 4294967296seedmod57 - Aseed57 - k57 = 0 | |
eli58: seed58 - 10000mod58 = 7873 | |
rand59: seed59 - 4294967296seedmod58 - Aseed58 - k58 = 0 | |
qual59: seed59 - 100000mod59 = 24059 | |
rand60: seed60 - 4294967296seedmod59 - Aseed59 - k59 = 0 | |
Bounds | |
0 <= k0 <= 4294967295 | |
0 <= k1 <= 4294967295 | |
0 <= k2 <= 4294967295 | |
0 <= k3 <= 4294967295 | |
0 <= k4 <= 4294967295 | |
0 <= k5 <= 4294967295 | |
0 <= k6 <= 4294967295 | |
0 <= k7 <= 4294967295 | |
0 <= k8 <= 4294967295 | |
0 <= k9 <= 4294967295 | |
0 <= k10 <= 4294967295 | |
0 <= k11 <= 4294967295 | |
0 <= k12 <= 4294967295 | |
0 <= k13 <= 4294967295 | |
0 <= k14 <= 4294967295 | |
0 <= k15 <= 4294967295 | |
0 <= k16 <= 4294967295 | |
0 <= k17 <= 4294967295 | |
0 <= k18 <= 4294967295 | |
0 <= k19 <= 4294967295 | |
0 <= k20 <= 4294967295 | |
0 <= k21 <= 4294967295 | |
0 <= k22 <= 4294967295 | |
0 <= k23 <= 4294967295 | |
0 <= k24 <= 4294967295 | |
0 <= k25 <= 4294967295 | |
0 <= k26 <= 4294967295 | |
0 <= k27 <= 4294967295 | |
0 <= k28 <= 4294967295 | |
0 <= k29 <= 4294967295 | |
0 <= k30 <= 4294967295 | |
0 <= k31 <= 4294967295 | |
0 <= k32 <= 4294967295 | |
0 <= k33 <= 4294967295 | |
0 <= k34 <= 4294967295 | |
0 <= k35 <= 4294967295 | |
0 <= k36 <= 4294967295 | |
0 <= k37 <= 4294967295 | |
0 <= k38 <= 4294967295 | |
0 <= k39 <= 4294967295 | |
0 <= k40 <= 4294967295 | |
0 <= k41 <= 4294967295 | |
0 <= k42 <= 4294967295 | |
0 <= k43 <= 4294967295 | |
0 <= k44 <= 4294967295 | |
0 <= k45 <= 4294967295 | |
0 <= k46 <= 4294967295 | |
0 <= k47 <= 4294967295 | |
0 <= k48 <= 4294967295 | |
0 <= k49 <= 4294967295 | |
0 <= k50 <= 4294967295 | |
0 <= k51 <= 4294967295 | |
0 <= k52 <= 4294967295 | |
0 <= k53 <= 4294967295 | |
0 <= k54 <= 4294967295 | |
0 <= k55 <= 4294967295 | |
0 <= k56 <= 4294967295 | |
0 <= k57 <= 4294967295 | |
0 <= k58 <= 4294967295 | |
0 <= k59 <= 4294967295 | |
0 <= seed0 <= 4294967295 | |
0 <= seed1 <= 4294967295 | |
0 <= seed2 <= 4294967295 | |
0 <= seed3 <= 4294967295 | |
0 <= seed4 <= 4294967295 | |
0 <= seed5 <= 4294967295 | |
0 <= seed6 <= 4294967295 | |
0 <= seed7 <= 4294967295 | |
0 <= seed8 <= 4294967295 | |
0 <= seed9 <= 4294967295 | |
0 <= seed10 <= 4294967295 | |
0 <= seed11 <= 4294967295 | |
0 <= seed12 <= 4294967295 | |
0 <= seed13 <= 4294967295 | |
0 <= seed14 <= 4294967295 | |
0 <= seed15 <= 4294967295 | |
0 <= seed16 <= 4294967295 | |
0 <= seed17 <= 4294967295 | |
0 <= seed18 <= 4294967295 | |
0 <= seed19 <= 4294967295 | |
0 <= seed20 <= 4294967295 | |
0 <= seed21 <= 4294967295 | |
0 <= seed22 <= 4294967295 | |
0 <= seed23 <= 4294967295 | |
0 <= seed24 <= 4294967295 | |
0 <= seed25 <= 4294967295 | |
0 <= seed26 <= 4294967295 | |
0 <= seed27 <= 4294967295 | |
0 <= seed28 <= 4294967295 | |
0 <= seed29 <= 4294967295 | |
0 <= seed30 <= 4294967295 | |
0 <= seed31 <= 4294967295 | |
0 <= seed32 <= 4294967295 | |
0 <= seed33 <= 4294967295 | |
0 <= seed34 <= 4294967295 | |
0 <= seed35 <= 4294967295 | |
0 <= seed36 <= 4294967295 | |
0 <= seed37 <= 4294967295 | |
0 <= seed38 <= 4294967295 | |
0 <= seed39 <= 4294967295 | |
0 <= seed40 <= 4294967295 | |
0 <= seed41 <= 4294967295 | |
0 <= seed42 <= 4294967295 | |
0 <= seed43 <= 4294967295 | |
0 <= seed44 <= 4294967295 | |
0 <= seed45 <= 4294967295 | |
0 <= seed46 <= 4294967295 | |
0 <= seed47 <= 4294967295 | |
0 <= seed48 <= 4294967295 | |
0 <= seed49 <= 4294967295 | |
0 <= seed50 <= 4294967295 | |
0 <= seed51 <= 4294967295 | |
0 <= seed52 <= 4294967295 | |
0 <= seed53 <= 4294967295 | |
0 <= seed54 <= 4294967295 | |
0 <= seed55 <= 4294967295 | |
0 <= seed56 <= 4294967295 | |
0 <= seed57 <= 4294967295 | |
0 <= seed58 <= 4294967295 | |
0 <= seed59 <= 4294967295 | |
seedmod0 free | |
seedmod1 free | |
seedmod2 free | |
seedmod3 free | |
seedmod4 free | |
seedmod5 free | |
seedmod6 free | |
seedmod7 free | |
seedmod8 free | |
seedmod9 free | |
seedmod10 free | |
seedmod11 free | |
seedmod12 free | |
seedmod13 free | |
seedmod14 free | |
seedmod15 free | |
seedmod16 free | |
seedmod17 free | |
seedmod18 free | |
seedmod19 free | |
seedmod20 free | |
seedmod21 free | |
seedmod22 free | |
seedmod23 free | |
seedmod24 free | |
seedmod25 free | |
seedmod26 free | |
seedmod27 free | |
seedmod28 free | |
seedmod29 free | |
seedmod30 free | |
seedmod31 free | |
seedmod32 free | |
seedmod33 free | |
seedmod34 free | |
seedmod35 free | |
seedmod36 free | |
seedmod37 free | |
seedmod38 free | |
seedmod39 free | |
seedmod40 free | |
seedmod41 free | |
seedmod42 free | |
seedmod43 free | |
seedmod44 free | |
seedmod45 free | |
seedmod46 free | |
seedmod47 free | |
seedmod48 free | |
seedmod49 free | |
seedmod50 free | |
seedmod51 free | |
seedmod52 free | |
seedmod53 free | |
seedmod54 free | |
seedmod55 free | |
seedmod56 free | |
seedmod57 free | |
seedmod58 free | |
seedmod59 free | |
Integer | |
k0 | |
k1 | |
k2 | |
k3 | |
k4 | |
k5 | |
k6 | |
k7 | |
k8 | |
k9 | |
k10 | |
k11 | |
k12 | |
k13 | |
k14 | |
k15 | |
k16 | |
k17 | |
k18 | |
k19 | |
k20 | |
k21 | |
k22 | |
k23 | |
k24 | |
k25 | |
k26 | |
k27 | |
k28 | |
k29 | |
k30 | |
k31 | |
k32 | |
k33 | |
k34 | |
k35 | |
k36 | |
k37 | |
k38 | |
k39 | |
k40 | |
k41 | |
k42 | |
k43 | |
k44 | |
k45 | |
k46 | |
k47 | |
k48 | |
k49 | |
k50 | |
k51 | |
k52 | |
k53 | |
k54 | |
k55 | |
k56 | |
k57 | |
k58 | |
k59 | |
seed0 | |
seed1 | |
seed2 | |
seed3 | |
seed4 | |
seed5 | |
seed6 | |
seed7 | |
seed8 | |
seed9 | |
seed10 | |
seed11 | |
seed12 | |
seed13 | |
seed14 | |
seed15 | |
seed16 | |
seed17 | |
seed18 | |
seed19 | |
seed20 | |
seed21 | |
seed22 | |
seed23 | |
seed24 | |
seed25 | |
seed26 | |
seed27 | |
seed28 | |
seed29 | |
seed30 | |
seed31 | |
seed32 | |
seed33 | |
seed34 | |
seed35 | |
seed36 | |
seed37 | |
seed38 | |
seed39 | |
seed40 | |
seed41 | |
seed42 | |
seed43 | |
seed44 | |
seed45 | |
seed46 | |
seed47 | |
seed48 | |
seed49 | |
seed50 | |
seed51 | |
seed52 | |
seed53 | |
seed54 | |
seed55 | |
seed56 | |
seed57 | |
seed58 | |
seed59 | |
seedmod0 | |
seedmod1 | |
seedmod2 | |
seedmod3 | |
seedmod4 | |
seedmod5 | |
seedmod6 | |
seedmod7 | |
seedmod8 | |
seedmod9 | |
seedmod10 | |
seedmod11 | |
seedmod12 | |
seedmod13 | |
seedmod14 | |
seedmod15 | |
seedmod16 | |
seedmod17 | |
seedmod18 | |
seedmod19 | |
seedmod20 | |
seedmod21 | |
seedmod22 | |
seedmod23 | |
seedmod24 | |
seedmod25 | |
seedmod26 | |
seedmod27 | |
seedmod28 | |
seedmod29 | |
seedmod30 | |
seedmod31 | |
seedmod32 | |
seedmod33 | |
seedmod34 | |
seedmod35 | |
seedmod36 | |
seedmod37 | |
seedmod38 | |
seedmod39 | |
seedmod40 | |
seedmod41 | |
seedmod42 | |
seedmod43 | |
seedmod44 | |
seedmod45 | |
seedmod46 | |
seedmod47 | |
seedmod48 | |
seedmod49 | |
seedmod50 | |
seedmod51 | |
seedmod52 | |
seedmod53 | |
seedmod54 | |
seedmod55 | |
seedmod56 | |
seedmod57 | |
seedmod58 | |
seedmod59 | |
mod0 | |
mod1 | |
mod2 | |
mod3 | |
mod4 | |
mod5 | |
mod6 | |
mod7 | |
mod8 | |
mod9 | |
mod10 | |
mod11 | |
mod12 | |
mod13 | |
mod14 | |
mod15 | |
mod16 | |
mod17 | |
mod18 | |
mod19 | |
mod20 | |
mod21 | |
mod22 | |
mod23 | |
mod24 | |
mod25 | |
mod26 | |
mod27 | |
mod28 | |
mod29 | |
mod30 | |
mod31 | |
mod32 | |
mod33 | |
mod34 | |
mod35 | |
mod36 | |
mod37 | |
mod38 | |
mod39 | |
mod40 | |
mod41 | |
mod42 | |
mod43 | |
mod44 | |
mod45 | |
mod46 | |
mod47 | |
mod48 | |
mod49 | |
mod50 | |
mod51 | |
mod52 | |
mod53 | |
mod54 | |
mod55 | |
mod56 | |
mod57 | |
mod58 | |
mod59 | |
End |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment