x1>=10
x2>=10
x3>=3
x4>=9
x5>=7
x6>=6
x7>=8
x8>=2
x9>=7
x10>=8
x11>=5
x12>=8
x13>=10
x14>=3
x15>=5
x16>=10
x17>=10
x18>=2
x19>=5
x20>=6
x21>=10
x22>=2
x23>=10
x24>=10
x25>=1
x26>=6
x27>=4
x28>=10
x29>=5
x30>=9
x31>=8
x32>=9
x33>=4
x34>=7
x35>=1
x36>=9
x37>=1
x38>=3
x39>=10
x40>=7
x41>=4
x42>=5
x43>=1
x44>=10
x45>=5
x46>=10
x47>=9
x48>=7
x49>=10
x50>=7
x51>=4
x52>=4
x53>=4
x54>=8
x55>=1
x56>=8
x57>=7
x58>=2
x59>=3
x60>=6
x61>=7
x62>=10
x63>=8
x64>=6
x65>=9
x66>=2
x67>=3
x68>=9
x69>=7
x70>=3
x71>=1
x72>=2
x73>=3
x74>=5
x75>=2
x76>=8
x77>=1
x78>=4
x79>=6
x80>=1
x81>=6
x82>=2
x83>=4
x84>=7
x85>=8
x86>=6
x87>=3
x88>=1
x89>=1
x90>=4
x91>=7
x92>=1
x93>=3
x94>=10
x95>=10
x96>=8
x97>=4
x98>=6
x99>=8
x100>=7
x1<=22
x2<=13
x3<=13
x4<=17
x5<=29
x6<=30
x7<=25
x8<=25
x9<=20
x10<=9
x11<=22
x12<=27
x13<=25
x14<=18
x15<=20
x16<=20
x17<=9
x18<=16
x19<=22
x20<=27
x21<=16
x22<=18
x23<=21
x24<=21
x25<=24
x26<=17
x27<=29
x28<=30
x29<=14
x30<=24
x31<=28
x32<=22
x33<=22
x34<=29
x35<=27
x36<=21
x37<=27
x38<=11
x39<=25
x40<=22
x41<=12
x42<=10
x43<=19
x44<=26
x45<=25
x46<=26
x47<=12
x48<=29
x49<=15
x50<=12
x51<=24
x52<=16
x53<=26
x54<=17
x55<=23
x56<=26
x57<=13
x58<=9
x59<=11
x60<=23
x61<=29
x62<=21
x63<=22
x64<=13
x65<=20
x66<=12
x67<=18
x68<=15
x69<=11
x70<=13
x71<=25
x72<=18
x73<=18
x74<=19
x75<=18
x76<=12
x77<=27
x78<=22
x79<=26
x80<=25
x81<=29
x82<=27
x83<=15
x84<=14
x85<=25
x86<=25
x87<=29
x88<=26
x89<=11
x90<=15
x91<=13
x92<=26
x93<=11
x94<=11
x95<=10
x96<=10
x97<=20
x98<=11
x99<=25
x100<=25