Sequence of simple inequalities
Statement
Goal
Found the interval of possible values for an integer variable x from a sequence of simple inequalities like this:"x < 124",
"x <= 123",
"x > -667" or
"x >= -666"
Print the solution interval like this:
"-666 <= x <= 123"
If there is no possible value for x then print:
"no solution"
Input
Line 1: Positive integer nb.
Next nb lines: string of the form "x operator value" where each operator is "<", "<=", ">" or ">=" and each value is an integer.
In each test case there is garantee that there is at least one < or <= and one > or >= operators.
Next nb lines: string of the form "x operator value" where each operator is "<", "<=", ">" or ">=" and each value is an integer.
In each test case there is garantee that there is at least one < or <= and one > or >= operators.
Output
Line 1: "a <= x <= b" with correct values for a and b, or "no solution".
Constraints
2 ≤ nb ≤ 100
-123456 ≤ value ≤ 123456
-123456 ≤ value ≤ 123456
Example
Input
2 x > 7 x <= 42
Output
8 <= x <= 42
Game modes
Fastest, Shortest, Reverse
Test cases
Minimal sequence Test
Input
2
x > 7
x <= 42
Output
8 <= x <= 42
Minimal sequence Validator
Input
2
x < 5
x >= -7
Output
-7 <= x <= 4
Simple change Test
Input
3
x > 7
x <= 42
x > 35
Output
36 <= x <= 42
Oops! Validator
Input
4
x <= -155
x > -200
x <= -180
x > -180
Output
no solution
Simple change Test
Input
4
x <= 36
x > 7
x <= 42
x > 35
Output
36 <= x <= 36
Simple change Validator
Input
5
x <= 110362
x >= -112200
x >= -113457
x > -74620
x <= 120775
Output
-74619 <= x <= 110362
Oops! Test
Input
4
x <= -5
x > 7
x <= 42
x > 35
Output
no solution
Simple change Validator
Input
13
x < 115721
x <= 39274
x > -121554
x >= -114572
x >= -123389
x < 103995
x < 49332
x >= -104904
x > -116650
x < 87453
x < 26096
x > -106129
x < -104903
Output
-104904 <= x <= -104904
Simple change Test
Input
100
x < 117134
x > -68374
x >= -49918
x >= -49442
x > -87382
x <= 122765
x > -49992
x >= -93220
x >= -108934
x <= 71193
x > -82363
x <= 102464
x >= -105873
x > -40963
x >= -78138
x < 77195
x >= -49140
x > -82263
x > -55781
x < 118339
x > -121555
x < 89284
x > -65226
x < 93409
x > -77662
x <= 68395
x < 92342
x >= -78919
x <= 115868
x < 94308
x > -49704
x < 89391
x > -70057
x >= -121471
x <= 87681
x <= 88179
x < 107148
x >= -80776
x <= 86184
x > -84460
x > -110668
x > -70360
x > -101979
x <= 107723
x >= -93073
x > -70320
x >= -82397
x > -91374
x >= -73578
x > -51772
x > -46505
x <= 86856
x <= 100185
x < 78100
x > -98164
x <= 79188
x > -77194
x <= 83813
x > -43993
x <= 72165
x <= 92819
x >= -113297
x > -58466
x > -74474
x >= -113295
x > -109576
x <= 93367
x > -83853
x > -90583
x > -52804
x < 116945
x < 71459
x <= 116293
x > -42626
x <= 76345
x <= 79657
x > -74964
x < 102699
x < 94472
x > -99243
x <= 80871
x < 80977
x >= -82957
x < 86257
x <= 89060
x < 102753
x >= -79551
x < 91559
x < 68082
x <= 91990
x < 115494
x <= 78498
x > -84411
x >= -66127
x > -71219
x >= -87047
x <= 97297
x >= -113780
x <= 96730
x > -58672
Output
-40962 <= x <= 68081
Simple change Validator
Input
100
x < 121099
x <= 119500
x >= 1802
x < 122756
x <= 118852
x <= 122541
x <= 120584
x < 119524
x >= 41564
x >= -14415
x < 119709
x <= 115718
x >= 52756
x <= 122271
x <= 116561
x < 121477
x >= -101759
x > -55441
x < 116783
x > -7450
x >= 82826
x < 115789
x >= -121463
x > -110228
x <= 120445
x < 121354
x > 46980
x < 115848
x <= 118984
x < 122526
x > -78531
x < 119647
x < 118991
x <= 118212
x > -86387
x >= 83562
x <= 115939
x <= 118271
x > 22382
x > -2114
x < 119332
x < 120077
x <= 121873
x > 53060
x <= 118448
x > -116170
x <= 118471
x < 118851
x <= 119054
x < 122653
x < 116750
x > 79835
x > 25467
x <= 116325
x < 116831
x > -45609
x >= 50656
x >= 4731
x <= 117276
x <= 120008
x < 123363
x >= 18970
x <= 118063
x <= 122709
x <= 116994
x < 122491
x < 115677
x < 120443
x < 122262
x >= -11166
x >= -52220
x > -67251
x <= 120790
x <= 121187
x > -100282
x <= 121470
x < 121432
x > 45914
x > 52152
x >= -36874
x > -19892
x > -102936
x > -99242
x > -33837
x >= 73070
x <= 117781
x >= 51724
x > 7792
x >= 83556
x >= -27970
x > 50178
x >= -113580
x <= 121960
x > -112389
x > -98161
x <= 120578
x <= 121593
x >= 37285
x > 79571
x <= 119971
Output
83562 <= x <= 115676
Simple change Test
Input
100
x < 122360
x >= -80411
x <= 109574
x <= 114025
x <= 116742
x < 119471
x < 112040
x <= 114572
x < 110303
x <= 123209
x >= 3238
x < 112668
x < 115008
x <= 115676
x < 112833
x < 122110
x >= -1967
x < 112194
x < 116135
x < 114398
x >= -11073
x >= 46290
x > -79048
x >= -15414
x < 120277
x > -94308
x <= 110667
x > -103586
x <= 115093
x >= 8056
x < 119457
x >= -69114
x <= 122092
x > 30382
x < 114198
x < 116200
x < 122431
x <= 114449
x <= 115716
x <= 111482
x >= -83915
x >= -120538
x < 110603
x >= -93049
x < 120560
x <= 111501
x > 53705
x < 116683
x >= -85466
x > 77016
x > 38585
x <= 122275
x < 120795
x <= 120008
x >= 38942
x <= 113011
x <= 116513
x <= 114706
x >= 20146
x < 116596
x >= -20594
x < 109971
x >= -14157
x <= 119308
x <= 110353
x > -26078
x > -107131
x > -68081
x >= -8715
x < 119352
x > 77454
x > -115790
x <= 111864
x <= 110968
x < 121570
x <= 115967
x < 120517
x >= -99323
x > -28900
x < 119662
x <= 113725
x >= -88363
x < 120535
x <= 122791
x < 122848
x > -84861
x >= -72285
x > 31339
x >= -81662
x < 109386
x < 122029
x <= 112467
x <= 120483
x >= 76124
x <= 123182
x > -83067
x <= 121747
x <= 111901
x > -77794
x >= -52807
Output
77455 <= x <= 109385
Be careful Validator
Input
48
x > 26575
x >= -11179
x > -111237
x >= -98209
x >= -32134
x >= -656
x > -16487
x >= -107104
x > 57991
x >= 17146
x > -3365
x >= -120142
x >= 53527
x >= -30535
x > 30432
x > -11789
x > -107531
x >= -106209
x > -54080
x > -53480
x >= 59528
x > -27777
x >= -48019
x > -107498
x > -2477
x >= 34582
x > -22814
x > -57803
x >= 27961
x > 51851
x > 67133
x > -63702
x > -114581
x > -59947
x >= 41710
x > 32665
x >= 794
x >= 65574
x <= 123456
x > -103632
x >= 58989
x >= 65946
x >= 1313
x >= -6380
x > 17748
x >= -77987
x > -112235
x > -103030
Output
67134 <= x <= 123456
Be careful Test
Input
56
x <= 100031
x < 90804
x <= 99019
x < 110684
x <= 90862
x <= 113428
x < 110948
x <= 95602
x <= 107857
x <= 110374
x <= 98074
x <= 103825
x <= 93802
x <= 114437
x <= 107576
x <= 118802
x < 109549
x <= 96197
x >= -123456
x <= 100262
x < 115817
x < 104414
x < 118431
x < 92720
x < 112412
x < 90536
x <= 102559
x < 112604
x <= 123350
x < 103384
x <= 96875
x <= 97591
x <= 89174
x <= 112081
x <= 91079
x <= 112496
x < 100534
x < 103789
x <= 105073
x <= 96467
x <= 122710
x <= 95674
x <= 92964
x < 100194
x < 107465
x < 120223
x <= 101661
x < 117228
x < 113365
x <= 98525
x <= 101574
x < 103984
x < 113154
x <= 89462
x <= 120068
x <= 111423
Output
-123456 <= x <= 89174
Simple change Validator
Input
100
x <= 122265
x < 116460
x >= -114783
x >= -91702
x <= 122146
x > -97068
x >= -113466
x <= 121491
x < 117290
x >= -67889
x <= 120383
x >= -98097
x <= 118240
x < 120444
x < 123078
x <= 116512
x > -86204
x >= -101241
x <= 120700
x < 119099
x <= 117471
x < 117911
x > -67666
x < 117597
x <= 123357
x <= 118979
x < 121410
x > -84344
x < 119342
x <= 120939
x <= 120417
x >= -121806
x < 120898
x >= -111952
x <= 121668
x >= -70727
x < 120710
x < 118650
x >= -117325
x < 121672
x > -70812
x >= -115372
x >= -97215
x <= 123209
x <= 123087
x > -106422
x < 119451
x > -119715
x < 118849
x <= 119380
x > -96528
x < 122414
x <= 122202
x > -120024
x < 117030
x < 117203
x <= 117028
x < 119404
x >= -87558
x > -94819
x >= -102870
x < 122161
x < 119634
x >= -119274
x < 120004
x > -113372
x < 121271
x <= 120609
x <= 121057
x < 123057
x >= -81181
x > -74855
x > -75482
x < 121818
x < 122176
x < 121677
x > -103693
x > -93031
x < 116649
x > -114347
x > -67707
x < 119698
x >= -86543
x > -111079
x < 121010
x > -86663
x >= -84627
x >= -103333
x < 121367
x < 122429
x > -76407
x >= -120672
x >= -82267
x > -116316
x > -76089
x > -76456
x <= 120030
x <= 116509
x > -122589
x > -122436
Output
-67665 <= x <= 116459
Solution language
Solution
Stub generator input