gistfile1.txt

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