Skip to content

Instantly share code, notes, and snippets.

@lokedhs
Created August 24, 2015 07:43
Show Gist options
  • Save lokedhs/197c00e4bec064a58287 to your computer and use it in GitHub Desktop.
Save lokedhs/197c00e4bec064a58287 to your computer and use it in GitHub Desktop.
(defpackage :clctest
(:use :cl))
(in-package :clctest)
(defparameter *test-values1*
'((:INSERT (90024546449273/62500 . 1))
(:REMOVE (90024546449273/62500 . 1))
(:INSERT (720196371606183/500000 . 2))
(:REMOVE (720196371606183/500000 . 2))
(:INSERT (144039274321931/100000 . 3))
(:INSERT (180049093402169/125000 . 4))
(:REMOVE (180049093402169/125000 . 4))
(:INSERT (1440392747218007/1000000 . 5))
(:REMOVE (1440392747218007/1000000 . 5))
(:INSERT (360098186804631/250000 . 6))
(:INSERT (1440392747262317/1000000 . 7))
(:REMOVE (1440392747262317/1000000 . 7))
(:INSERT (360098186815829/250000 . 8))
(:INSERT (1440392747490647/1000000 . 9))
(:REMOVE (1440392747490647/1000000 . 9))
(:INSERT (720196373745741/500000 . 10))
(:INSERT (720196373854651/500000 . 11))
(:REMOVE (720196373854651/500000 . 11))
(:INSERT (1440392747710339/1000000 . 12))
(:REMOVE (720196373745741/500000 . 10))
(:REMOVE (1440392747710339/1000000 . 12))
(:INSERT (288078549549411/200000 . 13))
(:INSERT (288078549549411/200000 . 14))
(:REMOVE (360098186804631/250000 . 6))
(:INSERT (45012273367129/31250 . 15))
(:REMOVE (360098186815829/250000 . 8))
(:INSERT (1440392747748413/1000000 . 16))
(:INSERT (288078549595583/200000 . 17))
(:REMOVE (288078549595583/200000 . 17))
(:INSERT (1440392747978861/1000000 . 18))
(:REMOVE (1440392747748413/1000000 . 16))
(:REMOVE (45012273367129/31250 . 15))
(:REMOVE (288078549549411/200000 . 13))
(:INSERT (720196374096073/500000 . 19))
(:INSERT (1440392748192163/1000000 . 20))
(:INSERT (720196374096083/500000 . 21))
(:REMOVE (1440392747978861/1000000 . 18))
(:INSERT (360098187048083/250000 . 22))
(:REMOVE (288078549549411/200000 . 14))
(:INSERT (720196374096527/500000 . 23))
(:INSERT (720196374115791/500000 . 24))
(:REMOVE (720196374115791/500000 . 24))
(:INSERT (720196374116353/500000 . 25))
(:REMOVE (720196374096073/500000 . 19))
(:INSERT (90024546778723/62500 . 26))
(:REMOVE (720196374096083/500000 . 21))
(:INSERT (1440392748459909/1000000 . 27))
(:REMOVE (720196374096527/500000 . 23))
(:INSERT (1440392748460117/1000000 . 28))
(:REMOVE (1440392748192163/1000000 . 20))
(:INSERT (1440392748460377/1000000 . 29))
(:REMOVE (360098187048083/250000 . 22))
(:INSERT (72019637423047/50000 . 30))
(:REMOVE (720196374116353/500000 . 25))
(:INSERT (1440392748461361/1000000 . 31))
(:INSERT (720196374257501/500000 . 32))
(:REMOVE (720196374257501/500000 . 32))
(:INSERT (720196374257989/500000 . 33))
(:REMOVE (720196374257989/500000 . 33))
(:INSERT (720196374264167/500000 . 34))
(:REMOVE (1440392748459909/1000000 . 27))
(:INSERT (180049093566081/125000 . 35))
(:REMOVE (72019637423047/50000 . 30))
(:INSERT (288078549705929/200000 . 36))
(:REMOVE (90024546778723/62500 . 26))
(:INSERT (1440392748529921/1000000 . 37))
(:REMOVE (1440392748460117/1000000 . 28))
(:INSERT (720196374264981/500000 . 38))
(:REMOVE (1440392748461361/1000000 . 31))
(:INSERT (1440392748530251/1000000 . 39))
(:REMOVE (1440392748460377/1000000 . 29))
(:INSERT (720196374265287/500000 . 40))
(:REMOVE (288078549705929/200000 . 36))
(:INSERT (720196374273287/500000 . 41))
(:REMOVE (1440392748530251/1000000 . 39))
(:INSERT (360098187136761/250000 . 42))
(:REMOVE (180049093566081/125000 . 35))
(:INSERT (1440392748547549/1000000 . 43))
(:REMOVE (720196374265287/500000 . 40))
(:INSERT (1440392748548037/1000000 . 44))
(:REMOVE (720196374264981/500000 . 38))
(:INSERT (1440392748548051/1000000 . 45))
(:REMOVE (1440392748529921/1000000 . 37))
(:INSERT (1440392748549201/1000000 . 46))
(:REMOVE (720196374264167/500000 . 34))
(:INSERT (180049093568871/125000 . 47))
(:REMOVE (180049093568871/125000 . 47))
(:INSERT (288078549720133/200000 . 48))
(:REMOVE (1440392748548051/1000000 . 45))
(:INSERT (288078549720143/200000 . 49))
(:REMOVE (1440392748547549/1000000 . 43))
(:INSERT (1440392748600731/1000000 . 50))
(:REMOVE (360098187136761/250000 . 42))
(:INSERT (180049093575153/125000 . 51))
(:REMOVE (1440392748548037/1000000 . 44))
(:INSERT (1440392748601519/1000000 . 52))
(:REMOVE (1440392748549201/1000000 . 46))
(:INSERT (360098187150437/250000 . 53))
(:REMOVE (720196374273287/500000 . 41))
(:INSERT (90024546787649/62500 . 54))
(:INSERT (1440392748745033/1000000 . 55))
(:REMOVE (1440392748745033/1000000 . 55))
(:INSERT (720196374373033/500000 . 56))
(:REMOVE (1440392748600731/1000000 . 50))
(:INSERT (1440392748899121/1000000 . 57))
(:REMOVE (288078549720133/200000 . 48))
(:INSERT (288078549779881/200000 . 58))
(:REMOVE (90024546787649/62500 . 54))
(:INSERT (1440392748899709/1000000 . 59))
(:REMOVE (288078549720143/200000 . 49))
(:INSERT (144039274890027/100000 . 60))
(:REMOVE (180049093575153/125000 . 51))
(:INSERT (18004909361259/12500 . 61))
(:REMOVE (360098187150437/250000 . 53))
(:INSERT (1440392748901651/1000000 . 62))
(:REMOVE (1440392748601519/1000000 . 52))
(:INSERT (1440392748902159/1000000 . 63))
(:REMOVE (720196374373033/500000 . 56))
(:INSERT (1440392748902673/1000000 . 64))
(:REMOVE (1440392748902673/1000000 . 64))
(:INSERT (1440392748935869/1000000 . 65))
(:REMOVE (1440392748899121/1000000 . 57))
(:INSERT (720196374468141/500000 . 66))
(:REMOVE (288078549779881/200000 . 58))
(:INSERT (720196374468331/500000 . 67))
(:REMOVE (1440392748899709/1000000 . 59))
(:INSERT (90024546808593/62500 . 68))
(:REMOVE (144039274890027/100000 . 60))
(:INSERT (180049093617241/125000 . 69))
(:REMOVE (18004909361259/12500 . 61))
(:INSERT (1440392748948799/1000000 . 70))
(:REMOVE (1440392748901651/1000000 . 62))
(:INSERT (288078549790179/200000 . 71))
(:REMOVE (1440392748902159/1000000 . 63))
(:INSERT (1440392748950981/1000000 . 72))
(:INSERT (1440392748999317/1000000 . 73))
(:REMOVE (1440392748999317/1000000 . 73))
(:INSERT (36009818725003/25000 . 74))
(:REMOVE (36009818725003/25000 . 74))
(:INSERT (1440392749103153/1000000 . 75))
(:REMOVE (720196374468141/500000 . 66))
(:INSERT (1440392749103871/1000000 . 76))
(:REMOVE (720196374468331/500000 . 67))
(:INSERT (1440392749104549/1000000 . 77))
(:REMOVE (90024546808593/62500 . 68))
(:INSERT (1440392749104563/1000000 . 78))
(:REMOVE (180049093617241/125000 . 69))
(:INSERT (1440392749105419/1000000 . 79))
(:REMOVE (288078549790179/200000 . 71))
(:INSERT (1440392749106181/1000000 . 80))
(:REMOVE (1440392748948799/1000000 . 70))
(:INSERT (288078549821297/200000 . 81))
(:REMOVE (1440392748950981/1000000 . 72))
(:INSERT (90024546819171/62500 . 82))
(:REMOVE (1440392748935869/1000000 . 65))
(:INSERT (1440392749106897/1000000 . 83))
(:INSERT (1440392749287579/1000000 . 84))
(:REMOVE (1440392749287579/1000000 . 84))
(:INSERT (720196374644201/500000 . 85))
(:REMOVE (720196374644201/500000 . 85))
(:REMOVE (1440392749103153/1000000 . 75))
(:REMOVE (1440392749103871/1000000 . 76))
(:REMOVE (1440392749104549/1000000 . 77))
(:INSERT (1440392749467107/1000000 . 86))
(:INSERT (1440392749467121/1000000 . 88))
(:INSERT (18004909368339/12500 . 87))
(:INSERT (1440392749467113/1000000 . 89))
(:REMOVE (1440392749106897/1000000 . 83))
(:INSERT (1440392749467981/1000000 . 90))
(:REMOVE (288078549821297/200000 . 81))
(:INSERT (1440392749468417/1000000 . 91))
(:REMOVE (1440392749104563/1000000 . 78))
(:INSERT (22506136710453/15625 . 92))
(:REMOVE (1440392749105419/1000000 . 79))
(:INSERT (720196374735351/500000 . 93))
(:REMOVE (1440392749106181/1000000 . 80))
(:INSERT (720196374735683/500000 . 94))
(:REMOVE (90024546819171/62500 . 82))
(:INSERT (1440392749471901/1000000 . 95))
(:REMOVE (1440392749467121/1000000 . 88))
(:INSERT (360098187372819/250000 . 96))
(:REMOVE (1440392749467107/1000000 . 86))
(:INSERT (1440392749491827/1000000 . 97))
(:REMOVE (18004909368339/12500 . 87))
(:INSERT (180049093686491/125000 . 98))
(:REMOVE (22506136710453/15625 . 92))
(:INSERT (720196374746249/500000 . 99))
(:REMOVE (720196374735351/500000 . 93))
(:INSERT (1440392749493627/1000000 . 100))
(:REMOVE (1440392749467981/1000000 . 90))
(:INSERT (1440392749493743/1000000 . 101))
(:REMOVE (1440392749468417/1000000 . 91))
(:INSERT (1440392749494243/1000000 . 102))
(:REMOVE (1440392749467113/1000000 . 89))
(:INSERT (1440392749494393/1000000 . 103))
(:REMOVE (720196374735683/500000 . 94))
(:INSERT (180049093686929/125000 . 104))
(:REMOVE (1440392749471901/1000000 . 95))
(:INSERT (180049093687019/125000 . 105))
(:REMOVE (1440392749494393/1000000 . 103))
(:INSERT (1440392749501573/1000000 . 106))
(:REMOVE (1440392749491827/1000000 . 97))
(:INSERT (1440392749501887/1000000 . 107))
(:REMOVE (720196374746249/500000 . 99))
(:INSERT (1440392749502837/1000000 . 108))
(:REMOVE (180049093687019/125000 . 105))
(:INSERT (720196374751731/500000 . 109))
(:REMOVE (360098187372819/250000 . 96))
(:INSERT (1440392749504023/1000000 . 110))
(:REMOVE (180049093686929/125000 . 104))
(:INSERT (1440392749504711/1000000 . 111))
(:REMOVE (180049093686491/125000 . 98))
(:INSERT (360098187376233/250000 . 112))
(:REMOVE (1440392749493743/1000000 . 101))
(:INSERT (180049093688189/125000 . 113))
(:REMOVE (1440392749493627/1000000 . 100))
(:INSERT (1440392749506289/1000000 . 114))
(:REMOVE (1440392749494243/1000000 . 102))
(:INSERT (1440392749507013/1000000 . 115))
(:REMOVE (360098187376233/250000 . 112))
(:INSERT (180049093688647/125000 . 116))
(:REMOVE (1440392749502837/1000000 . 108))
(:INSERT (45012273422191/31250 . 117))
(:REMOVE (1440392749507013/1000000 . 115))
(:INSERT (360098187378229/250000 . 118))
(:REMOVE (1440392749506289/1000000 . 114))
(:INSERT (360098187378253/250000 . 119))
(:REMOVE (1440392749501887/1000000 . 107))
(:INSERT (1440392749513033/1000000 . 120))
(:REMOVE (1440392749504023/1000000 . 110))
(:INSERT (288078549902621/200000 . 121))
(:REMOVE (1440392749504711/1000000 . 111))
(:INSERT (720196374756653/500000 . 122))
(:REMOVE (720196374751731/500000 . 109))
(:INSERT (1440392749513643/1000000 . 123))
(:REMOVE (1440392749501573/1000000 . 106))
(:INSERT (360098187378457/250000 . 124))
(:REMOVE (180049093688189/125000 . 113))
(:INSERT (1440392749514067/1000000 . 125))
(:INSERT (720196374759991/500000 . 126))
(:REMOVE (720196374759991/500000 . 126))
(:INSERT (1440392749520609/1000000 . 127))
(:REMOVE (1440392749520609/1000000 . 127))
(:INSERT (1440392749559457/1000000 . 128))
(:REMOVE (360098187378457/250000 . 124))
(:INSERT (360098187390031/250000 . 129))
(:REMOVE (1440392749513033/1000000 . 120))
(:INSERT (288078549912083/200000 . 130))
(:REMOVE (180049093688647/125000 . 116))
(:INSERT (720196374780419/500000 . 131))
(:REMOVE (288078549902621/200000 . 121))
(:INSERT (180049093695187/125000 . 132))
(:REMOVE (45012273422191/31250 . 117))
(:INSERT (1440392749564049/1000000 . 133))
(:REMOVE (360098187378253/250000 . 119))
(:INSERT (1440392749564767/1000000 . 134))
(:REMOVE (1440392749514067/1000000 . 125))
(:INSERT (1440392749565201/1000000 . 135))
(:REMOVE (1440392749513643/1000000 . 123))
(:INSERT (720196374782993/500000 . 136))
(:REMOVE (360098187378229/250000 . 118))
(:INSERT (1440392749566057/1000000 . 137))
(:REMOVE (720196374756653/500000 . 122))
(:INSERT (360098187391531/250000 . 138))
(:REMOVE (1440392749559457/1000000 . 128))
(:INSERT (288078549925771/200000 . 139))
(:REMOVE (360098187390031/250000 . 129))
(:INSERT (1440392749631639/1000000 . 140))
(:REMOVE (1440392749566057/1000000 . 137))
(:INSERT (1440392749632079/1000000 . 141))
(:REMOVE (1440392749564767/1000000 . 134))
(:INSERT (1440392749632609/1000000 . 142))
(:REMOVE (360098187391531/250000 . 138))
(:INSERT (1440392749632703/1000000 . 143))
(:REMOVE (1440392749564049/1000000 . 133))
(:INSERT (1440392749633531/1000000 . 144))
(:REMOVE (180049093695187/125000 . 132))
(:INSERT (720196374816787/500000 . 145))
(:REMOVE (288078549912083/200000 . 130))
(:INSERT (720196374816943/500000 . 146))
(:REMOVE (1440392749565201/1000000 . 135))
(:INSERT (1440392749633947/1000000 . 147))
(:REMOVE (720196374780419/500000 . 131))
(:INSERT (720196374817257/500000 . 148))
(:REMOVE (720196374782993/500000 . 136))
(:INSERT (57615709985527/40000 . 149))
(:REMOVE (720196374817257/500000 . 148))
(:INSERT (360098187410847/250000 . 150))
(:REMOVE (720196374816787/500000 . 145))
(:INSERT (1440392749644471/1000000 . 151))
(:REMOVE (1440392749631639/1000000 . 140))
(:INSERT (720196374822257/500000 . 152))
(:REMOVE (1440392749633531/1000000 . 144))
(:INSERT (144039274964473/100000 . 153))
(:REMOVE (720196374816943/500000 . 146))
(:INSERT (288078549929017/200000 . 154))
(:REMOVE (1440392749633947/1000000 . 147))
(:INSERT (720196374823027/500000 . 155))
(:REMOVE (288078549925771/200000 . 139))
(:INSERT (180049093705819/125000 . 156))
(:REMOVE (57615709985527/40000 . 149))
(:INSERT (1440392749646647/1000000 . 157))
(:REMOVE (1440392749632079/1000000 . 141))
(:INSERT (720196374823539/500000 . 158))
(:REMOVE (1440392749632609/1000000 . 142))
(:INSERT (1440392749647237/1000000 . 159))
(:REMOVE (1440392749632703/1000000 . 143))
(:INSERT (1440392749647511/1000000 . 160))
(:REMOVE (144039274964473/100000 . 153))
(:INSERT (45012273428931/31250 . 161))
(:REMOVE (1440392749647237/1000000 . 159))
(:INSERT (1440392749726269/1000000 . 162))
(:REMOVE (180049093705819/125000 . 156))
(:INSERT (72019637486317/50000 . 163))
(:REMOVE (288078549929017/200000 . 154))
(:INSERT (360098187431593/250000 . 164))
(:REMOVE (720196374823027/500000 . 155))
(:INSERT (90024546857953/62500 . 165))
(:REMOVE (1440392749644471/1000000 . 151))
(:INSERT (57615709989101/40000 . 166))
(:REMOVE (360098187410847/250000 . 150))
(:INSERT (288078549945537/200000 . 167))
(:REMOVE (1440392749646647/1000000 . 157))
(:INSERT (1440392749727811/1000000 . 168))
(:REMOVE (720196374822257/500000 . 152))
(:INSERT (720196374864473/500000 . 169))
(:REMOVE (1440392749647511/1000000 . 160))
(:INSERT (1440392749729407/1000000 . 170))
(:REMOVE (720196374823539/500000 . 158))
(:INSERT (72019637486493/50000 . 171))
(:REMOVE (57615709989101/40000 . 166))
(:INSERT (72019637486691/50000 . 172))
(:REMOVE (360098187431593/250000 . 164))
(:INSERT (36009818743347/25000 . 173))
(:REMOVE (720196374864473/500000 . 169))
(:INSERT (288078549946849/200000 . 174))
(:REMOVE (72019637486317/50000 . 163))
(:INSERT (180049093716807/125000 . 175))
(:REMOVE (45012273428931/31250 . 161))
(:INSERT (144039274973457/100000 . 176))
(:REMOVE (90024546857953/62500 . 165))
(:INSERT (180049093718433/125000 . 177))
(:REMOVE (288078549945537/200000 . 167))
(:INSERT (1440392749748157/1000000 . 178))
(:REMOVE (1440392749726269/1000000 . 162))
(:INSERT (720196374874119/500000 . 179))
(:REMOVE (1440392749727811/1000000 . 168))
(:INSERT (720196374874203/500000 . 180))
(:REMOVE (1440392749729407/1000000 . 170))
(:INSERT (360098187437187/250000 . 181))
(:REMOVE (72019637486493/50000 . 171))
(:INSERT (1440392749749219/1000000 . 182))
(:REMOVE (180049093718433/125000 . 177))
(:INSERT (1440392749776597/1000000 . 183))
(:REMOVE (360098187437187/250000 . 181))
(:INSERT (1440392749776807/1000000 . 184))
(:REMOVE (144039274973457/100000 . 176))
(:REMOVE (720196374874203/500000 . 180))
(:INSERT (1440392749777591/1000000 . 185))
(:INSERT (720196374888799/500000 . 186))
(:REMOVE (1440392749748157/1000000 . 178))
(:INSERT (720196374888821/500000 . 187))
(:REMOVE (288078549946849/200000 . 174))
(:REMOVE (72019637486691/50000 . 172))
(:INSERT (288078549955653/200000 . 188))
(:INSERT (1440392749778271/1000000 . 189))
(:REMOVE (36009818743347/25000 . 173))
(:INSERT (720196374889377/500000 . 190))
(:REMOVE (720196374874119/500000 . 179))
(:INSERT (1440392749779153/1000000 . 191))
(:REMOVE (1440392749749219/1000000 . 182))
(:INSERT (720196374889607/500000 . 192))
(:REMOVE (180049093716807/125000 . 175))
(:INSERT (360098187444931/250000 . 193))
(:REMOVE (1440392749778271/1000000 . 189))
(:INSERT (1440392749845813/1000000 . 194))
(:REMOVE (1440392749776597/1000000 . 183))
(:INSERT (360098187461611/250000 . 195))
(:REMOVE (720196374889607/500000 . 192))
(:INSERT (720196374923253/500000 . 196))
(:REMOVE (720196374889377/500000 . 190))
(:INSERT (360098187461967/250000 . 197))
(:REMOVE (288078549955653/200000 . 188))
(:INSERT (1440392749847939/1000000 . 198))
(:REMOVE (1440392749776807/1000000 . 184))
(:INSERT (1440392749848137/1000000 . 199))
(:REMOVE (360098187444931/250000 . 193))
(:INSERT (288078549969653/200000 . 200))
(:REMOVE (720196374888821/500000 . 187))
(:INSERT (720196374924213/500000 . 201))
(:REMOVE (1440392749779153/1000000 . 191))
(:INSERT (14403927498487/10000 . 202))
(:REMOVE (1440392749777591/1000000 . 185))
(:INSERT (1440392749849473/1000000 . 203))
(:REMOVE (720196374888799/500000 . 186))
(:INSERT (1440392749849673/1000000 . 204))
(:INSERT (1440392749924193/1000000 . 205))
(:REMOVE (1440392749924193/1000000 . 205))
(:INSERT (72019637496253/50000 . 206))
(:INSERT (1440392750004743/1000000 . 207))
(:REMOVE (1440392750004743/1000000 . 207))
(:INSERT (720196375002929/500000 . 208))
(:REMOVE (720196374924213/500000 . 201))
(:INSERT (1440392750200459/1000000 . 209))
(:REMOVE (14403927498487/10000 . 202))
(:INSERT (57615710008043/40000 . 210))
(:REMOVE (720196374923253/500000 . 196))
(:INSERT (288078550040313/200000 . 211))
(:REMOVE (1440392749848137/1000000 . 199))
(:INSERT (1440392750201963/1000000 . 212))
(:REMOVE (360098187461611/250000 . 195))
(:INSERT (180049093775263/125000 . 213))
(:REMOVE (1440392749845813/1000000 . 194))
(:INSERT (1440392750202599/1000000 . 214))
(:REMOVE (1440392749849673/1000000 . 204))
(:INSERT (360098187550669/250000 . 215))
(:REMOVE (1440392749849473/1000000 . 203))
(:INSERT (720196375101581/500000 . 216))
(:REMOVE (360098187461967/250000 . 197))
(:INSERT (1440392750203887/1000000 . 217))
(:REMOVE (1440392749847939/1000000 . 198))
(:INSERT (360098187551067/250000 . 218))
(:REMOVE (72019637496253/50000 . 206))
(:INSERT (1440392750204589/1000000 . 219))
(:REMOVE (720196375002929/500000 . 208))
(:INSERT (28807855004101/20000 . 220))
(:REMOVE (288078549969653/200000 . 200))
(:INSERT (72019637510257/50000 . 221))
(:INSERT (1440392750305099/1000000 . 222))
(:REMOVE (1440392750305099/1000000 . 222))
(:INSERT (180049093788247/125000 . 223))
(:REMOVE (1440392750204589/1000000 . 219))
(:INSERT (1440392750366757/1000000 . 224))
(:REMOVE (360098187551067/250000 . 218))
(:INSERT (180049093795903/125000 . 225))
(:REMOVE (1440392750200459/1000000 . 209))
(:INSERT (1440392750367759/1000000 . 226))
(:REMOVE (720196375101581/500000 . 216))
(:INSERT (36009818759213/25000 . 227))
(:REMOVE (1440392750202599/1000000 . 214))
(:INSERT (288078550073913/200000 . 228))
(:REMOVE (288078550040313/200000 . 211))
(:INSERT (1440392750370179/1000000 . 229))
(:REMOVE (1440392750201963/1000000 . 212))
(:INSERT (2880785500741/2000 . 230))
(:REMOVE (180049093775263/125000 . 213))
(:INSERT (288078550074147/200000 . 231))
(:REMOVE (1440392750203887/1000000 . 217))
(:INSERT (1440392750372143/1000000 . 232))
(:REMOVE (57615710008043/40000 . 210))
(:INSERT (1440392750372173/1000000 . 233))
(:REMOVE (180049093788247/125000 . 223))
(:INSERT (1440392750372547/1000000 . 234))
(:REMOVE (72019637510257/50000 . 221))
(:INSERT (720196375186323/500000 . 235))
(:REMOVE (360098187550669/250000 . 215))
(:INSERT (720196375186329/500000 . 236))
(:REMOVE (28807855004101/20000 . 220))
(:INSERT (720196375186423/500000 . 237))
(:REMOVE (1440392750366757/1000000 . 224))
(:INSERT (1440392750402497/1000000 . 238))
(:REMOVE (36009818759213/25000 . 227))
(:INSERT (720196375201577/500000 . 239))
(:REMOVE (1440392750367759/1000000 . 226))
(:INSERT (720196375201681/500000 . 240))
(:REMOVE (1440392750372173/1000000 . 233))
(:INSERT (720196375202081/500000 . 241))
(:REMOVE (288078550074147/200000 . 231))
(:INSERT (18004909380059/12500 . 242))
(:REMOVE (2880785500741/2000 . 230))
(:INSERT (144039275040503/100000 . 243))
(:REMOVE (180049093795903/125000 . 225))
(:INSERT (288078550081151/200000 . 244))
(:REMOVE (720196375186423/500000 . 237))
(:INSERT (1440392750406663/1000000 . 245))
(:REMOVE (1440392750370179/1000000 . 229))
(:INSERT (1440392750406723/1000000 . 246))
(:REMOVE (720196375186323/500000 . 235))
(:INSERT (1440392750407067/1000000 . 247))
(:REMOVE (1440392750372547/1000000 . 234))
(:INSERT (90024546900481/62500 . 248))
(:REMOVE (1440392750372143/1000000 . 232))
(:INSERT (360098187602459/250000 . 249))
(:REMOVE (720196375186329/500000 . 236))
(:INSERT (1440392750410299/1000000 . 250))
(:REMOVE (288078550073913/200000 . 228))
(:INSERT (720196375205307/500000 . 251))
(:REMOVE (720196375201577/500000 . 239))
(:INSERT (1440392750469257/1000000 . 252))
(:REMOVE (720196375201681/500000 . 240))
(:INSERT (720196375234637/500000 . 253))
(:REMOVE (144039275040503/100000 . 243))
(:INSERT (1440392750470641/1000000 . 254))
(:REMOVE (720196375202081/500000 . 241))
(:INSERT (720196375235529/500000 . 255))
(:REMOVE (18004909380059/12500 . 242))
(:INSERT (360098187617883/250000 . 256))
(:REMOVE (1440392750406723/1000000 . 246))
(:INSERT (1440392750472217/1000000 . 257))
(:REMOVE (720196375205307/500000 . 251))
(:INSERT (144039275047237/100000 . 258))
(:REMOVE (1440392750410299/1000000 . 250))
(:INSERT (1440392750473231/1000000 . 259))
(:REMOVE (1440392750406663/1000000 . 245))
(:INSERT (1440392750473731/1000000 . 260))
(:REMOVE (90024546900481/62500 . 248))
(:INSERT (360098187618699/250000 . 261))
(:REMOVE (360098187602459/250000 . 249))
(:INSERT (1440392750475091/1000000 . 262))
(:REMOVE (1440392750407067/1000000 . 247))
(:INSERT (720196375237631/500000 . 263))
(:REMOVE (1440392750402497/1000000 . 238))
(:INSERT (1440392750475711/1000000 . 264))
(:REMOVE (288078550081151/200000 . 244))
(:INSERT (36009818761911/25000 . 265))
(:INSERT (1440392750479259/1000000 . 266))
(:REMOVE (1440392750479259/1000000 . 266))
(:INSERT (14403927504801/10000 . 267))
(:REMOVE (14403927504801/10000 . 267))
(:INSERT (180049093810041/125000 . 268))
(:REMOVE (1440392750473231/1000000 . 259))
(:REMOVE (720196375234637/500000 . 253))
(:INSERT (720196375254927/500000 . 270))
(:INSERT (1440392750509663/1000000 . 269))
(:REMOVE (1440392750473731/1000000 . 260))
(:REMOVE (1440392750469257/1000000 . 252))
(:INSERT (288078550103047/200000 . 271))
(:REMOVE (180049093810041/125000 . 268))
(:INSERT (5761571002061/4000 . 272))
(:REMOVE (1440392750472217/1000000 . 257))
(:REMOVE (360098187617883/250000 . 256))
(:INSERT (1440392750515217/1000000 . 274))
(:INSERT (1440392750515429/1000000 . 275))
(:REMOVE (1440392750470641/1000000 . 254))
(:INSERT (57615710020623/40000 . 276))
(:REMOVE (1440392750475091/1000000 . 262))
(:INSERT (1440392750515601/1000000 . 277))
(:REMOVE (720196375235529/500000 . 255))
(:INSERT (90024546907249/62500 . 278))
(:INSERT (1440392750515419/1000000 . 273))
(:REMOVE (36009818761911/25000 . 265))
(:INSERT (1440392750516441/1000000 . 279))
(:REMOVE (144039275047237/100000 . 258))
(:INSERT (1440392750517117/1000000 . 280))
(:REMOVE (360098187618699/250000 . 261))
(:INSERT (1440392750517289/1000000 . 281))
(:REMOVE (1440392750475711/1000000 . 264))
(:INSERT (1440392750517659/1000000 . 282))
(:REMOVE (720196375237631/500000 . 263))
(:INSERT (90024546907389/62500 . 283))
(:REMOVE (720196375254927/500000 . 270))
(:INSERT (144039275055963/100000 . 284))
(:REMOVE (288078550103047/200000 . 271))
(:INSERT (360098187639959/250000 . 285))
(:REMOVE (1440392750515429/1000000 . 275))
(:INSERT (9002454691001/6250 . 286))
(:REMOVE (5761571002061/4000 . 272))
(:INSERT (180049093820061/125000 . 287))
(:REMOVE (1440392750515217/1000000 . 274))
(:INSERT (360098187640181/250000 . 288))
(:REMOVE (1440392750517117/1000000 . 280))
(:INSERT (1440392750560981/1000000 . 289))
(:REMOVE (1440392750516441/1000000 . 279))
(:INSERT (1440392750562609/1000000 . 290))
(:REMOVE (1440392750517289/1000000 . 281))
(:INSERT (11523142004501/8000 . 291))
(:REMOVE (1440392750515601/1000000 . 277))
(:INSERT (1440392750562633/1000000 . 292))
(:REMOVE (1440392750515419/1000000 . 273))
(:INSERT (180049093820349/125000 . 293))
(:REMOVE (90024546907249/62500 . 278))
(:INSERT (1440392750562989/1000000 . 294))
(:REMOVE (1440392750517659/1000000 . 282))
(:INSERT (1440392750563299/1000000 . 295))
(:REMOVE (1440392750509663/1000000 . 269))
(:INSERT (14403927505637/10000 . 296))
(:REMOVE (57615710020623/40000 . 276))
(:INSERT (1440392750563923/1000000 . 297))
(:REMOVE (90024546907389/62500 . 283))
(:INSERT (1440392750564663/1000000 . 298))
(:REMOVE (144039275055963/100000 . 284))
(:INSERT (90024546912351/62500 . 299))
(:REMOVE (360098187640181/250000 . 288))
(:INSERT (288078550119569/200000 . 300))
(:REMOVE (14403927505637/10000 . 296))
(:INSERT (90024546912387/62500 . 301))
(:REMOVE (180049093820061/125000 . 287))
(:INSERT (22506136728098/15625 . 302))
(:REMOVE (360098187639959/250000 . 285))
(:INSERT (1440392750599593/1000000 . 303))
(:REMOVE (11523142004501/8000 . 291))
(:INSERT (360098187650179/250000 . 304))
(:REMOVE (1440392750564663/1000000 . 298))
(:INSERT (360098187650223/250000 . 305))
(:REMOVE (1440392750560981/1000000 . 289))
(:INSERT (720196375300593/500000 . 306))
(:REMOVE (1440392750562633/1000000 . 292))
(:INSERT (1440392750601209/1000000 . 307))
(:REMOVE (1440392750563299/1000000 . 295))
(:INSERT (1440392750601609/1000000 . 308))
(:REMOVE (1440392750562609/1000000 . 290))
(:INSERT (720196375300961/500000 . 309))
(:REMOVE (9002454691001/6250 . 286))
(:INSERT (720196375301009/500000 . 310))
(:REMOVE (1440392750563923/1000000 . 297))
(:INSERT (1440392750602213/1000000 . 311))
(:REMOVE (1440392750562989/1000000 . 294))
(:INSERT (180049093825327/125000 . 312))
(:REMOVE (180049093820349/125000 . 293))
(:INSERT (1440392750603093/1000000 . 313))
(:REMOVE (720196375300961/500000 . 309))
(:INSERT (720196375321703/500000 . 314))
(:REMOVE (720196375300593/500000 . 306))
(:INSERT (1440392750643793/1000000 . 315))
(:REMOVE (360098187650179/250000 . 304))
(:INSERT (72019637532209/50000 . 316))
(:REMOVE (22506136728098/15625 . 302))
(:INSERT (1440392750646027/1000000 . 317))
(:REMOVE (1440392750603093/1000000 . 313))
(:INSERT (1440392750646339/1000000 . 318))
(:REMOVE (180049093825327/125000 . 312))
(:INSERT (36009818766177/25000 . 319))
(:REMOVE (1440392750601209/1000000 . 307))
(:INSERT (1440392750647633/1000000 . 320))
(:REMOVE (90024546912387/62500 . 301))
(:INSERT (288078550129571/200000 . 321))
(:REMOVE (720196375301009/500000 . 310))
(:INSERT (720196375326299/500000 . 322))
(:REMOVE (1440392750602213/1000000 . 311))
(:INSERT (360098187663219/250000 . 323))
(:REMOVE (90024546912351/62500 . 299))
(:INSERT (360098187663319/250000 . 324))
(:REMOVE (1440392750599593/1000000 . 303))
(:INSERT (720196375326791/500000 . 325))
(:REMOVE (360098187650223/250000 . 305))
(:INSERT (144039275065419/100000 . 326))
(:REMOVE (1440392750601609/1000000 . 308))
(:INSERT (144039275065523/100000 . 327))
(:REMOVE (360098187663319/250000 . 324))
(:INSERT (22506136729006/15625 . 328))
(:REMOVE (720196375321703/500000 . 314))
(:INSERT (1440392750656397/1000000 . 329))
(:REMOVE (288078550119569/200000 . 300))
(:INSERT (180049093832067/125000 . 330))
(:REMOVE (288078550129571/200000 . 321))
(:INSERT (720196375328773/500000 . 331))
(:REMOVE (1440392750643793/1000000 . 315))
(:INSERT (180049093832227/125000 . 332))
(:REMOVE (180049093832067/125000 . 330))
(:INSERT (180049093832231/125000 . 333))
(:REMOVE (1440392750646027/1000000 . 317))
(:INSERT (144039275065837/100000 . 334))
(:REMOVE (1440392750646339/1000000 . 318))
(:INSERT (180049093832383/125000 . 335))
(:REMOVE (144039275065523/100000 . 327))
(:INSERT (1440392750659161/1000000 . 336))
(:REMOVE (36009818766177/25000 . 319))
(:INSERT (360098187664819/250000 . 337))
(:REMOVE (1440392750647633/1000000 . 320))
(:INSERT (1440392750659609/1000000 . 338))
(:REMOVE (360098187663219/250000 . 323))
(:INSERT (1440392750659661/1000000 . 339))
(:REMOVE (144039275065419/100000 . 326))
(:INSERT (1440392750659757/1000000 . 340))
(:REMOVE (720196375326299/500000 . 322))
(:INSERT (720196375330319/500000 . 341))
(:REMOVE (720196375326791/500000 . 325))
(:INSERT (720196375330491/500000 . 342))
(:REMOVE (72019637532209/50000 . 316))
(:INSERT (1440392750661049/1000000 . 343))
(:INSERT (720196375355649/500000 . 344))
(:REMOVE (720196375355649/500000 . 344))
(:INSERT (1440392750712177/1000000 . 345))
(:REMOVE (144039275065837/100000 . 334))
(:INSERT (360098187678943/250000 . 346))
(:REMOVE (1440392750656397/1000000 . 329))
(:INSERT (1440392750716241/1000000 . 347))
(:REMOVE (1440392750659757/1000000 . 340))
(:INSERT (1440392750716631/1000000 . 348))
(:REMOVE (1440392750659161/1000000 . 336))
(:INSERT (288078550143483/200000 . 349))
(:REMOVE (1440392750659609/1000000 . 338))
(:INSERT (180049093839827/125000 . 350))
(:REMOVE (180049093832231/125000 . 333))
(:INSERT (288078550143759/200000 . 351))
(:REMOVE (1440392750712177/1000000 . 345))
(:INSERT (180049093839893/125000 . 352))
(:REMOVE (1440392750661049/1000000 . 343))
(:INSERT (288078550143881/200000 . 353))
(:REMOVE (360098187664819/250000 . 337))
(:INSERT (144039275071947/100000 . 354))
(:REMOVE (720196375328773/500000 . 331))
(:INSERT (180049093840021/125000 . 355))
(:REMOVE (180049093832383/125000 . 335))
(:INSERT (11523142005763/8000 . 356))
(:REMOVE (720196375330319/500000 . 341))
(:INSERT (1440392750721121/1000000 . 357))
(:REMOVE (1440392750659661/1000000 . 339))
(:INSERT (360098187683111/250000 . 358))
(:REMOVE (22506136729006/15625 . 328))
(:INSERT (1440392750732731/1000000 . 359))
(:REMOVE (180049093832227/125000 . 332))
(:INSERT (720196375366767/500000 . 360))
(:REMOVE (720196375330491/500000 . 342))
(:INSERT (720196375366853/500000 . 361))
(:REMOVE (360098187678943/250000 . 346))
(:INSERT (1440392750786227/1000000 . 362))
(:REMOVE (1440392750716631/1000000 . 348))
(:INSERT (1440392750786493/1000000 . 363))
(:REMOVE (288078550143483/200000 . 349))
(:INSERT (180049093848351/125000 . 364))
(:REMOVE (1440392750716241/1000000 . 347))
(:INSERT (288078550157523/200000 . 365))
(:REMOVE (180049093839827/125000 . 350))
(:INSERT (1440392750788167/1000000 . 366))
(:REMOVE (288078550143759/200000 . 351))
(:INSERT (720196375394259/500000 . 367))
(:REMOVE (180049093839893/125000 . 352))
(:INSERT (1440392750788883/1000000 . 368))
(:REMOVE (288078550143881/200000 . 353))
(:INSERT (288078550157879/200000 . 369))
(:REMOVE (144039275071947/100000 . 354))
(:INSERT (1440392750790201/1000000 . 370))
(:REMOVE (11523142005763/8000 . 356))
(:INSERT (180049093848809/125000 . 371))
(:REMOVE (180049093840021/125000 . 355))
(:INSERT (360098187697627/250000 . 372))
(:REMOVE (1440392750721121/1000000 . 357))
(:INSERT (1440392750790923/1000000 . 373))
(:REMOVE (360098187683111/250000 . 358))
(:INSERT (360098187697781/250000 . 374))
(:REMOVE (1440392750732731/1000000 . 359))
(:INSERT (1440392750791353/1000000 . 375))
(:REMOVE (720196375366767/500000 . 360))
(:INSERT (1440392750791833/1000000 . 376))
(:REMOVE (720196375366853/500000 . 361))
(:INSERT (360098187698037/250000 . 377))
(:REMOVE (1440392750786493/1000000 . 363))
(:INSERT (57615710034377/40000 . 378))
(:REMOVE (1440392750786227/1000000 . 362))
(:INSERT (90024546928739/62500 . 379))
(:REMOVE (180049093848351/125000 . 364))
(:INSERT (360098187715563/250000 . 380))
(:REMOVE (1440392750790923/1000000 . 373))
(:INSERT (720196375431417/500000 . 381))
(:REMOVE (288078550157879/200000 . 369))
(:INSERT (1440392750863609/1000000 . 382))
(:REMOVE (360098187697781/250000 . 374))
(:INSERT (1440392750863677/1000000 . 383))
(:REMOVE (1440392750791833/1000000 . 376))
(:INSERT (1440392750863727/1000000 . 384))
(:REMOVE (720196375394259/500000 . 367))
(:INSERT (1440392750863767/1000000 . 385))
(:REMOVE (180049093848809/125000 . 371))
(:INSERT (360098187715987/250000 . 386))
(:REMOVE (360098187698037/250000 . 377))
(:INSERT (144039275086471/100000 . 387))
(:REMOVE (360098187697627/250000 . 372))
(:INSERT (288078550172959/200000 . 388))
(:REMOVE (1440392750788167/1000000 . 366))
(:INSERT (144039275086493/100000 . 389))
(:REMOVE (1440392750788883/1000000 . 368))
(:INSERT (1440392750864969/1000000 . 390))
(:REMOVE (288078550157523/200000 . 365))
(:INSERT (144039275086537/100000 . 391))
(:REMOVE (1440392750790201/1000000 . 370))
(:INSERT (720196375432767/500000 . 392))
(:REMOVE (1440392750791353/1000000 . 375))
(:INSERT (720196375433039/500000 . 393))
(:REMOVE (360098187715563/250000 . 380))
(:INSERT (1440392750905769/1000000 . 394))
(:REMOVE (90024546928739/62500 . 379))
(:INSERT (720196375453059/500000 . 395))
(:REMOVE (144039275086537/100000 . 391))
(:INSERT (1440392750906919/1000000 . 396))
(:REMOVE (1440392750864969/1000000 . 390))
(:INSERT (360098187726923/250000 . 397))
(:REMOVE (1440392750863677/1000000 . 383))
(:INSERT (720196375453979/500000 . 398))
(:REMOVE (144039275086493/100000 . 389))
(:INSERT (720196375454089/500000 . 399))
(:REMOVE (57615710034377/40000 . 378))
(:INSERT (45012273465881/31250 . 400))
(:REMOVE (288078550172959/200000 . 388))
(:INSERT (1440392750908419/1000000 . 401))
(:REMOVE (720196375433039/500000 . 393))
(:INSERT (28807855018177/20000 . 402))
(:REMOVE (1440392750863609/1000000 . 382))
(:INSERT (360098187727293/250000 . 403))
(:REMOVE (144039275086471/100000 . 387))
(:INSERT (1440392750909699/1000000 . 404))
(:REMOVE (1440392750863727/1000000 . 384))
(:INSERT (288078550182021/200000 . 405))
(:REMOVE (1440392750863767/1000000 . 385))
(:INSERT (180049093863773/125000 . 406))
(:REMOVE (720196375432767/500000 . 392))
(:INSERT (720196375455903/500000 . 407))
(:REMOVE (360098187715987/250000 . 386))
(:INSERT (1440392750912097/1000000 . 408))
(:REMOVE (720196375431417/500000 . 381))
(:INSERT (720196375456111/500000 . 409))
(:REMOVE (28807855018177/20000 . 402))
(:INSERT (1440392750938839/1000000 . 410))
(:REMOVE (1440392750908419/1000000 . 401))
(:INSERT (1440392750939327/1000000 . 411))
(:REMOVE (1440392750909699/1000000 . 404))
(:INSERT (180049093867463/125000 . 412))
(:REMOVE (720196375456111/500000 . 409))
(:INSERT (22506136733444/15625 . 413))
(:REMOVE (1440392750912097/1000000 . 408))
(:INSERT (1440392750941441/1000000 . 414))
(:REMOVE (720196375455903/500000 . 407))
(:INSERT (1440392750941457/1000000 . 415))
(:REMOVE (288078550182021/200000 . 405))
(:INSERT (288078550189089/200000 . 416))
(:REMOVE (720196375453979/500000 . 398))
(:INSERT (90024546934107/62500 . 417))
(:REMOVE (360098187726923/250000 . 397))
(:INSERT (22506136733549/15625 . 418))
(:REMOVE (1440392750905769/1000000 . 394))
(:INSERT (1440392750947577/1000000 . 419))
(:REMOVE (1440392750906919/1000000 . 396))
(:INSERT (180049093868529/125000 . 420))
(:REMOVE (720196375453059/500000 . 395))
(:INSERT (1440392750948471/1000000 . 421))
(:REMOVE (45012273465881/31250 . 400))
(:INSERT (1440392750949011/1000000 . 422))
(:REMOVE (360098187727293/250000 . 403))
(:INSERT (360098187738141/250000 . 423))
(:INSERT (90024546934559/62500 . 424))
(:REMOVE (180049093863773/125000 . 406))
(:INSERT (1440392750953169/1000000 . 425))
(:REMOVE (720196375454089/500000 . 399))
(:INSERT (1440392750953811/1000000 . 426))
(:REMOVE (90024546934559/62500 . 424))
(:INSERT (1440392750953869/1000000 . 427))
(:REMOVE (1440392750953869/1000000 . 427))
(:INSERT (45012273467319/31250 . 428))
(:REMOVE (288078550189089/200000 . 416))
(:INSERT (288078550199373/200000 . 429))
(:REMOVE (180049093867463/125000 . 412))
(:INSERT (720196375498643/500000 . 430))
(:REMOVE (1440392750947577/1000000 . 419))
(:INSERT (1440392750999731/1000000 . 431))
(:REMOVE (22506136733444/15625 . 413))
(:INSERT (180049093874977/125000 . 432))
(:REMOVE (1440392750948471/1000000 . 421))
(:INSERT (720196375499939/500000 . 433))
(:REMOVE (1440392750953169/1000000 . 425))
(:INSERT (720196375500333/500000 . 434))
(:REMOVE (22506136733549/15625 . 418))
(:INSERT (720196375500517/500000 . 435))
(:REMOVE (1440392750939327/1000000 . 411))
(:INSERT (720196375500657/500000 . 436))
(:REMOVE (1440392750949011/1000000 . 422))
(:INSERT (1440392751002059/1000000 . 437))
(:REMOVE (180049093868529/125000 . 420))
(:INSERT (90024546937637/62500 . 438))
(:REMOVE (360098187738141/250000 . 423))
(:INSERT (180049093875333/125000 . 439))
(:REMOVE (1440392750953811/1000000 . 426))
(:INSERT (1440392751003277/1000000 . 440))
(:REMOVE (1440392750941457/1000000 . 415))
(:INSERT (720196375501827/500000 . 441))
(:REMOVE (1440392750938839/1000000 . 410))
(:INSERT (360098187750917/250000 . 442))
(:REMOVE (90024546934107/62500 . 417))
(:INSERT (18004909387557/12500 . 443))
(:REMOVE (1440392750941441/1000000 . 414))
(:INSERT (720196375502357/500000 . 444))
(:REMOVE (45012273467319/31250 . 428))
(:INSERT (1440392751005191/1000000 . 445))
(:REMOVE (720196375500657/500000 . 436))
(:INSERT (1440392751050273/1000000 . 446))
(:REMOVE (1440392750999731/1000000 . 431))
(:INSERT (1440392751050433/1000000 . 447))
(:REMOVE (720196375498643/500000 . 430))
(:INSERT (1440392751050773/1000000 . 448))
(:REMOVE (720196375500517/500000 . 435))
(:INSERT (720196375525579/500000 . 449))
(:REMOVE (720196375499939/500000 . 433))
(:INSERT (1440392751051409/1000000 . 450))
(:REMOVE (1440392751002059/1000000 . 437))
(:INSERT (720196375526009/500000 . 451))
(:REMOVE (90024546937637/62500 . 438))
(:INSERT (360098187763313/250000 . 452))
(:REMOVE (180049093875333/125000 . 439))
(:INSERT (1440392751053539/1000000 . 453))
(:REMOVE (1440392751003277/1000000 . 440))
(:INSERT (180049093881763/125000 . 454))
(:REMOVE (1440392751005191/1000000 . 445))
(:INSERT (1440392751054127/1000000 . 455))
(:REMOVE (720196375500333/500000 . 434))
(:INSERT (57615710042233/40000 . 456))
(:REMOVE (288078550199373/200000 . 429))
(:INSERT (144039275105651/100000 . 457))
(:REMOVE (18004909387557/12500 . 443))
(:INSERT (720196375528469/500000 . 458))
(:REMOVE (360098187750917/250000 . 442))
(:INSERT (1440392751057201/1000000 . 459))
(:REMOVE (720196375501827/500000 . 441))
(:INSERT (1440392751057711/1000000 . 460))
(:REMOVE (180049093874977/125000 . 432))
(:INSERT (180049093882241/125000 . 461))
(:REMOVE (720196375502357/500000 . 444))
(:INSERT (1440392751057983/1000000 . 462))
(:REMOVE (1440392751057983/1000000 . 462))
(:INSERT (720196375545207/500000 . 463))
(:REMOVE (720196375528469/500000 . 458))
(:INSERT (1440392751091161/1000000 . 464))
(:REMOVE (1440392751057711/1000000 . 460))
(:INSERT (720196375545703/500000 . 465))
(:REMOVE (1440392751057201/1000000 . 459))
(:INSERT (1440392751091643/1000000 . 466))
(:REMOVE (144039275105651/100000 . 457))
(:INSERT (1440392751091953/1000000 . 467))
(:REMOVE (1440392751054127/1000000 . 455))
(:INSERT (360098187773127/250000 . 468))
(:REMOVE (180049093882241/125000 . 461))
(:INSERT (720196375546449/500000 . 469))
(:REMOVE (1440392751050773/1000000 . 448))
(:INSERT (288078550218727/200000 . 470))
(:REMOVE (1440392751050273/1000000 . 446))
(:INSERT (144039275109367/100000 . 471))
(:REMOVE (57615710042233/40000 . 456))
(:INSERT (1440392751094011/1000000 . 472))
(:REMOVE (720196375525579/500000 . 449))
(:INSERT (360098187773571/250000 . 473))
(:REMOVE (1440392751051409/1000000 . 450))
(:INSERT (1440392751094619/1000000 . 474))
(:REMOVE (720196375526009/500000 . 451))
(:INSERT (720196375547577/500000 . 475))
(:REMOVE (1440392751053539/1000000 . 453))
(:INSERT (180049093886923/125000 . 476))
(:REMOVE (180049093881763/125000 . 454))
(:INSERT (144039275109593/100000 . 477))
(:REMOVE (1440392751050433/1000000 . 447))
(:INSERT (720196375548199/500000 . 478))
(:REMOVE (360098187763313/250000 . 452))
(:INSERT (1440392751097243/1000000 . 479))
(:REMOVE (1440392751091643/1000000 . 466))
(:REMOVE (288078550218727/200000 . 470))
(:REMOVE (1440392751091953/1000000 . 467))
(:INSERT (144039275114213/100000 . 480))
(:INSERT (360098187785537/250000 . 481))
(:REMOVE (720196375545703/500000 . 465))
(:INSERT (720196375571081/500000 . 482))
(:REMOVE (720196375546449/500000 . 469))
(:INSERT (720196375571287/500000 . 483))
(:INSERT (180049093892767/125000 . 484))
(:REMOVE (1440392751094619/1000000 . 474))
(:REMOVE (360098187773571/250000 . 473))
(:INSERT (720196375571743/500000 . 485))
(:REMOVE (144039275109367/100000 . 471))
(:INSERT (1440392751144511/1000000 . 486))
(:REMOVE (360098187773127/250000 . 468))
(:INSERT (14403927511451/10000 . 487))
(:REMOVE (1440392751091161/1000000 . 464))
(:INSERT (1440392751145331/1000000 . 488))
(:REMOVE (180049093886923/125000 . 476))
(:INSERT (288078550229087/200000 . 489))
(:REMOVE (720196375548199/500000 . 478))
(:INSERT (1440392751145553/1000000 . 490))
(:INSERT (180049093893273/125000 . 491))
(:REMOVE (144039275109593/100000 . 477))
(:INSERT (720196375573689/500000 . 492))
(:REMOVE (720196375547577/500000 . 475))
(:INSERT (1440392751147963/1000000 . 493))
(:REMOVE (720196375545207/500000 . 463))
(:INSERT (720196375574189/500000 . 494))
(:REMOVE (1440392751097243/1000000 . 479))
(:INSERT (720196375574343/500000 . 495))
(:REMOVE (1440392751094011/1000000 . 472))
(:INSERT (720196375574349/500000 . 496))
(:INSERT (720196375611053/500000 . 497))
(:REMOVE (720196375611053/500000 . 497))
(:INSERT (1440392751222843/1000000 . 498))
(:REMOVE (1440392751222843/1000000 . 498))
(:INSERT (288078550251839/200000 . 499))
(:REMOVE (1440392751145553/1000000 . 490))
(:INSERT (1440392751259529/1000000 . 500))
(:REMOVE (720196375574343/500000 . 495))
(:REMOVE (14403927511451/10000 . 487))
(:REMOVE (720196375574349/500000 . 496))
(:INSERT (1440392751287223/1000000 . 501))
(:INSERT (57615710051493/40000 . 502))
(:INSERT (1440392751287059/1000000 . 503))
(:REMOVE (720196375571081/500000 . 482))
(:INSERT (180049093911127/125000 . 504))
(:REMOVE (180049093892767/125000 . 484))
(:INSERT (1440392751291123/1000000 . 505))
(:REMOVE (720196375573689/500000 . 492))
(:INSERT (288078550258337/200000 . 506))
(:REMOVE (288078550229087/200000 . 489))
(:INSERT (1440392751291979/1000000 . 507))
(:REMOVE (720196375571743/500000 . 485))
(:INSERT (1440392751292183/1000000 . 508))
(:REMOVE (1440392751144511/1000000 . 486))
(:INSERT (90024546955789/62500 . 509))
(:REMOVE (720196375571287/500000 . 483))
(:INSERT (720196375646537/500000 . 510))
(:REMOVE (144039275114213/100000 . 480))
(:INSERT (1440392751293367/1000000 . 511))
(:REMOVE (1440392751145331/1000000 . 488))
(:INSERT (1440392751293467/1000000 . 512))
(:REMOVE (360098187785537/250000 . 481))
(:INSERT (720196375646871/500000 . 513))
(:REMOVE (720196375574189/500000 . 494))
(:INSERT (1440392751294189/1000000 . 514))
(:REMOVE (180049093893273/125000 . 491))
(:INSERT (144039275129469/100000 . 515))
(:REMOVE (1440392751147963/1000000 . 493))
(:INSERT (1440392751295417/1000000 . 516))
(:REMOVE (1440392751291123/1000000 . 505))
(:INSERT (720196375649471/500000 . 517))
(:REMOVE (720196375646871/500000 . 513))
(:INSERT (1440392751302449/1000000 . 518))
(:REMOVE (180049093911127/125000 . 504))
(:INSERT (720196375651247/500000 . 519))
(:REMOVE (57615710051493/40000 . 502))
(:INSERT (288078550260607/200000 . 520))
(:REMOVE (720196375646537/500000 . 510))
(:INSERT (1440392751303129/1000000 . 521))
(:REMOVE (288078550258337/200000 . 506))
(:INSERT (1440392751303429/1000000 . 522))
(:REMOVE (1440392751292183/1000000 . 508))
(:INSERT (720196375651889/500000 . 523))
(:REMOVE (1440392751295417/1000000 . 516))
(:INSERT (72019637565191/50000 . 524))
(:REMOVE (1440392751293467/1000000 . 512))
(:INSERT (720196375652031/500000 . 525))
(:REMOVE (1440392751287059/1000000 . 503))
(:INSERT (28807855026083/20000 . 526))
(:REMOVE (1440392751294189/1000000 . 514))
(:INSERT (720196375652103/500000 . 527))
(:REMOVE (144039275129469/100000 . 515))
(:INSERT (288078550260883/200000 . 528))
(:REMOVE (1440392751291979/1000000 . 507))
(:INSERT (4501227347827/3125 . 529))
(:REMOVE (90024546955789/62500 . 509))
(:INSERT (1440392751305487/1000000 . 530))
(:REMOVE (1440392751287223/1000000 . 501))
(:INSERT (360098187826483/250000 . 531))
(:REMOVE (288078550251839/200000 . 499))
(:INSERT (360098187826501/250000 . 532))
(:REMOVE (1440392751259529/1000000 . 500))
(:INSERT (720196375653179/500000 . 533))
(:REMOVE (1440392751293367/1000000 . 511))
(:INSERT (720196375653381/500000 . 534))
(:REMOVE (1440392751303429/1000000 . 522))
(:INSERT (360098187834983/250000 . 535))
(:REMOVE (4501227347827/3125 . 529))
(:INSERT (144039275134037/100000 . 536))
(:REMOVE (720196375652103/500000 . 527))
(:INSERT (90024546958803/62500 . 537))
(:REMOVE (1440392751303129/1000000 . 521))
(:INSERT (1440392751346183/1000000 . 538))
(:REMOVE (720196375649471/500000 . 517))
(:INSERT (1440392751346227/1000000 . 539))
(:REMOVE (720196375653381/500000 . 534))
(:INSERT (720196375673163/500000 . 540))
(:REMOVE (720196375651889/500000 . 523))
(:INSERT (360098187836597/250000 . 541))
(:REMOVE (720196375651247/500000 . 519))
(:INSERT (720196375673209/500000 . 542))
(:REMOVE (1440392751302449/1000000 . 518))
(:INSERT (22506136739799/15625 . 543))
(:REMOVE (720196375653179/500000 . 533))
(:INSERT (1440392751347221/1000000 . 544))
(:REMOVE (1440392751305487/1000000 . 530))
(:INSERT (360098187836871/250000 . 545))
(:REMOVE (288078550260883/200000 . 528))
(:INSERT (1440392751349103/1000000 . 546))
(:REMOVE (720196375652031/500000 . 525))
(:INSERT (1440392751349117/1000000 . 547))
(:REMOVE (720196375673209/500000 . 542))
(:INSERT (720196375674603/500000 . 548))
(:REMOVE (28807855026083/20000 . 526))
(:INSERT (1440392751349581/1000000 . 549))
(:REMOVE (360098187826501/250000 . 532))
(:INSERT (1440392751350481/1000000 . 550))
(:REMOVE (720196375673163/500000 . 540))
(:INSERT (360098187837643/250000 . 551))
(:REMOVE (360098187826483/250000 . 531))
(:INSERT (180049093918831/125000 . 552))
(:REMOVE (72019637565191/50000 . 524))
(:INSERT (1440392751351197/1000000 . 553))
(:REMOVE (1440392751349117/1000000 . 547))
(:INSERT (360098187837839/250000 . 554))
(:REMOVE (22506136739799/15625 . 543))
(:INSERT (1440392751351933/1000000 . 555))
(:REMOVE (288078550260607/200000 . 520))
(:INSERT (1440392751352037/1000000 . 556))
(:REMOVE (1440392751346183/1000000 . 538))
(:INSERT (1440392751352249/1000000 . 557))
(:REMOVE (1440392751347221/1000000 . 544))
(:INSERT (180049093919097/125000 . 558))
(:REMOVE (360098187834983/250000 . 535))
(:INSERT (720196375676777/500000 . 559))
(:REMOVE (360098187836871/250000 . 545))
(:INSERT (288078550270723/200000 . 560))
(:REMOVE (1440392751349103/1000000 . 546))
(:INSERT (22506136739909/15625 . 561))
(:REMOVE (1440392751346227/1000000 . 539))
(:INSERT (90024546959637/62500 . 562))
(:REMOVE (90024546958803/62500 . 537))
(:INSERT (1440392751355227/1000000 . 563))
(:REMOVE (144039275134037/100000 . 536))
(:INSERT (720196375677641/500000 . 564))
(:REMOVE (360098187836597/250000 . 541))
(:INSERT (2880785502711/2000 . 565))
(:REMOVE (1440392751351197/1000000 . 553))
(:INSERT (1440392751355763/1000000 . 566))
(:REMOVE (1440392751352037/1000000 . 556))
(:INSERT (720196375677937/500000 . 567))
(:REMOVE (1440392751349581/1000000 . 549))
(:INSERT (1440392751356727/1000000 . 568))
(:REMOVE (180049093918831/125000 . 552))
(:INSERT (720196375678567/500000 . 569))
(:REMOVE (1440392751350481/1000000 . 550))
(:INSERT (1440392751357201/1000000 . 570))
(:REMOVE (1440392751351933/1000000 . 555))
(:INSERT (720196375692527/500000 . 571))
(:REMOVE (1440392751355227/1000000 . 563))
(:INSERT (360098187846297/250000 . 572))
(:REMOVE (2880785502711/2000 . 565))
(:INSERT (720196375692853/500000 . 573))
(:REMOVE (1440392751352249/1000000 . 557))
(:INSERT (180049093923347/125000 . 574))
(:REMOVE (360098187837839/250000 . 554))
(:INSERT (720196375693513/500000 . 575))
(:REMOVE (180049093919097/125000 . 558))
(:INSERT (360098187847217/250000 . 576))
(:REMOVE (720196375677641/500000 . 564))
(:INSERT (1440392751389759/1000000 . 577))
(:REMOVE (720196375678567/500000 . 569))
(:INSERT (720196375695153/500000 . 578))
(:REMOVE (288078550270723/200000 . 560))
(:INSERT (1440392751390323/1000000 . 579))
(:REMOVE (22506136739909/15625 . 561))
(:INSERT (720196375695189/500000 . 580))
(:REMOVE (1440392751356727/1000000 . 568))
(:INSERT (1440392751390557/1000000 . 581))
(:REMOVE (720196375677937/500000 . 567))
(:INSERT (180049093923843/125000 . 582))
(:REMOVE (1440392751355763/1000000 . 566))
(:INSERT (22506136740481/15625 . 583))
(:REMOVE (720196375676777/500000 . 559))
(:REMOVE (1440392751357201/1000000 . 570))
(:REMOVE (360098187837643/250000 . 551))
(:INSERT (720196375695653/500000 . 585))
(:INSERT (144039275139131/100000 . 586))
(:INSERT (720196375695651/500000 . 584))
(:REMOVE (90024546959637/62500 . 562))
(:INSERT (288078550278333/200000 . 587))
(:REMOVE (720196375674603/500000 . 548))
(:INSERT (144039275139213/100000 . 588))
(:REMOVE (360098187847217/250000 . 576))
(:INSERT (720196375729639/500000 . 589))
(:REMOVE (720196375695189/500000 . 580))
(:INSERT (1440392751460209/1000000 . 590))
(:REMOVE (720196375692853/500000 . 573))
(:INSERT (1440392751460221/1000000 . 591))
(:REMOVE (22506136740481/15625 . 583))
(:INSERT (720196375730341/500000 . 592))
(:REMOVE (1440392751390557/1000000 . 581))
(:INSERT (360098187865281/250000 . 593))
(:REMOVE (180049093923843/125000 . 582))
(:INSERT (720196375730777/500000 . 594))
(:REMOVE (720196375695651/500000 . 584))
(:REMOVE (720196375695153/500000 . 578))
(:REMOVE (1440392751389759/1000000 . 577))
(:INSERT (1440392751462377/1000000 . 596))
(:INSERT (1440392751462381/1000000 . 597))
(:INSERT (1440392751462371/1000000 . 595))
(:REMOVE (360098187846297/250000 . 572))
(:INSERT (720196375731459/500000 . 598))
(:REMOVE (720196375695653/500000 . 585))
(:INSERT (144039275146299/100000 . 599))
(:REMOVE (144039275139131/100000 . 586))
(:INSERT (90024546966603/62500 . 600))
(:REMOVE (720196375693513/500000 . 575))
(:INSERT (180049093933251/125000 . 601))
(:REMOVE (180049093923347/125000 . 574))
(:INSERT (360098187866611/250000 . 602))
(:REMOVE (144039275139213/100000 . 588))
(:INSERT (144039275146659/100000 . 603))
(:REMOVE (720196375692527/500000 . 571))
(:INSERT (1440392751466863/1000000 . 604))
(:REMOVE (1440392751390323/1000000 . 579))
(:INSERT (720196375733627/500000 . 605))
(:REMOVE (288078550278333/200000 . 587))
(:INSERT (720196375733651/500000 . 606))
(:REMOVE (720196375729639/500000 . 589))
(:INSERT (1440392751540253/1000000 . 607))
(:REMOVE (1440392751466863/1000000 . 604))
(:INSERT (288078550308069/200000 . 608))
(:REMOVE (1440392751462371/1000000 . 595))
(:INSERT (720196375770411/500000 . 609))
(:REMOVE (720196375731459/500000 . 598))
(:INSERT (360098187885303/250000 . 610))
(:REMOVE (1440392751460209/1000000 . 590))
(:INSERT (1440392751541491/1000000 . 611))
(:REMOVE (720196375733627/500000 . 605))
(:INSERT (1440392751541797/1000000 . 612))
(:REMOVE (1440392751460221/1000000 . 591))
(:REMOVE (720196375733651/500000 . 606))
(:INSERT (1440392751542467/1000000 . 614))
(:INSERT (720196375771217/500000 . 613))
(:REMOVE (360098187866611/250000 . 602))
(:REMOVE (144039275146659/100000 . 603))
(:REMOVE (1440392751462377/1000000 . 596))
(:INSERT (720196375771733/500000 . 616))
(:INSERT (1440392751543469/1000000 . 617))
(:REMOVE (180049093933251/125000 . 601))
(:INSERT (1440392751543853/1000000 . 618))
(:INSERT (288078550308621/200000 . 615))
(:REMOVE (90024546966603/62500 . 600))
(:INSERT (720196375772121/500000 . 619))
(:REMOVE (144039275146299/100000 . 599))
(:INSERT (1440392751544843/1000000 . 620))
(:REMOVE (720196375730777/500000 . 594))
(:INSERT (1440392751545361/1000000 . 621))
(:REMOVE (360098187865281/250000 . 593))
(:INSERT (288078550309179/200000 . 622))
(:REMOVE (720196375730341/500000 . 592))
(:INSERT (1440392751545929/1000000 . 623))
(:REMOVE (1440392751462381/1000000 . 597))
(:INSERT (288078550309279/200000 . 624))
(:INSERT (1440392751596809/1000000 . 625))
(:REMOVE (1440392751596809/1000000 . 625))
(:INSERT (1440392751597549/1000000 . 626))
(:REMOVE (288078550308069/200000 . 608))
(:INSERT (720196375803583/500000 . 627))
(:REMOVE (720196375771733/500000 . 616))
(:INSERT (1440392751607523/1000000 . 628))
(:REMOVE (720196375772121/500000 . 619))
(:INSERT (1440392751607743/1000000 . 629))
(:REMOVE (1440392751542467/1000000 . 614))
(:INSERT (1440392751607783/1000000 . 630))
(:REMOVE (1440392751597549/1000000 . 626))
(:INSERT (720196375804127/500000 . 631))
(:REMOVE (1440392751541491/1000000 . 611))
(:INSERT (288078550321917/200000 . 632))
(:REMOVE (288078550309179/200000 . 622))
(:INSERT (180049093951233/125000 . 633))
(:REMOVE (1440392751544843/1000000 . 620))
(:INSERT (45012273487823/31250 . 634))
(:REMOVE (1440392751543469/1000000 . 617))
(:INSERT (1440392751610487/1000000 . 635))
(:REMOVE (1440392751545929/1000000 . 623))
(:INSERT (720196375805377/500000 . 636))
(:REMOVE (720196375771217/500000 . 613))
(:INSERT (90024546975747/62500 . 637))
(:REMOVE (1440392751545361/1000000 . 621))
(:INSERT (720196375806079/500000 . 638))
(:REMOVE (720196375770411/500000 . 609))
(:INSERT (90024546975803/62500 . 639))
(:REMOVE (1440392751540253/1000000 . 607))
(:INSERT (720196375806581/500000 . 640))
(:REMOVE (288078550309279/200000 . 624))
(:INSERT (1440392751613859/1000000 . 641))
(:REMOVE (360098187885303/250000 . 610))
(:INSERT (1440392751614939/1000000 . 642))
(:REMOVE (1440392751541797/1000000 . 612))
(:INSERT (36009818790377/25000 . 643))
(:REMOVE (288078550308621/200000 . 615))
(:INSERT (1440392751616037/1000000 . 644))
(:REMOVE (1440392751543853/1000000 . 618))
(:INSERT (180049093952043/125000 . 645))
(:REMOVE (720196375804127/500000 . 631))
(:INSERT (57615710066389/40000 . 646))
(:REMOVE (720196375803583/500000 . 627))
(:INSERT (180049093958077/125000 . 647))
(:REMOVE (36009818790377/25000 . 643))
(:INSERT (720196375832653/500000 . 648))
(:REMOVE (1440392751614939/1000000 . 642))
(:INSERT (720196375832669/500000 . 649))
(:REMOVE (180049093952043/125000 . 645))
(:INSERT (720196375832677/500000 . 650))
(:REMOVE (720196375806581/500000 . 640))
(:INSERT (1440392751665377/1000000 . 651))
(:REMOVE (1440392751616037/1000000 . 644))
(:INSERT (720196375832823/500000 . 652))
(:REMOVE (1440392751607523/1000000 . 628))
(:INSERT (180049093958307/125000 . 653))
(:REMOVE (90024546975747/62500 . 637))
(:INSERT (1440392751666479/1000000 . 654))
(:REMOVE (720196375806079/500000 . 638))
(:INSERT (1440392751666607/1000000 . 655))
(:REMOVE (1440392751613859/1000000 . 641))
(:INSERT (720196375833507/500000 . 656))
(:REMOVE (1440392751607783/1000000 . 630))
(:REMOVE (1440392751607743/1000000 . 629))
(:INSERT (1440392751667039/1000000 . 657))
(:INSERT (1440392751667041/1000000 . 658))
(:REMOVE (90024546975803/62500 . 639))
(:INSERT (720196375833619/500000 . 659))
(:REMOVE (180049093951233/125000 . 633))
(:INSERT (720196375833843/500000 . 660))
(:REMOVE (288078550321917/200000 . 632))
(:REMOVE (45012273487823/31250 . 634))
(:INSERT (180049093958477/125000 . 661))
(:REMOVE (1440392751610487/1000000 . 635))
(:INSERT (720196375833909/500000 . 662))
(:INSERT (1440392751667823/1000000 . 663))
(:REMOVE (720196375805377/500000 . 636))
(:INSERT (2880785503337/2000 . 664))
(:INSERT (360098187920187/250000 . 665))
(:REMOVE (360098187920187/250000 . 665))
(:INSERT (1440392751681641/1000000 . 666))
(:REMOVE (57615710066389/40000 . 646))
(:INSERT (1440392751734837/1000000 . 667))
(:REMOVE (720196375833843/500000 . 660))
(:INSERT (720196375867439/500000 . 668))
(:REMOVE (1440392751666607/1000000 . 655))
(:INSERT (720196375867451/500000 . 669))
(:REMOVE (720196375833507/500000 . 656))
(:INSERT (360098187933811/250000 . 670))
(:REMOVE (1440392751665377/1000000 . 651))
(:INSERT (1440392751735273/1000000 . 671))
(:REMOVE (1440392751681641/1000000 . 666))
(:INSERT (180049093966941/125000 . 672))
(:REMOVE (180049093958477/125000 . 661))
(:INSERT (1440392751735669/1000000 . 673))
(:REMOVE (1440392751666479/1000000 . 654))
(:INSERT (720196375868023/500000 . 674))
(:REMOVE (1440392751667823/1000000 . 663))
(:INSERT (1440392751736457/1000000 . 675))
(:REMOVE (720196375833619/500000 . 659))
(:INSERT (360098187934121/250000 . 676))
(:REMOVE (1440392751667041/1000000 . 658))
(:INSERT (360098187934179/250000 . 677))
(:REMOVE (720196375833909/500000 . 662))
(:INSERT (720196375868443/500000 . 678))
(:REMOVE (2880785503337/2000 . 664))
(:INSERT (57615710069511/40000 . 679))
(:REMOVE (720196375832653/500000 . 648))
(:INSERT (360098187934481/250000 . 680))
(:REMOVE (180049093958077/125000 . 647))
(:INSERT (1440392751738621/1000000 . 681))
(:REMOVE (1440392751667039/1000000 . 657))
(:INSERT (1440392751738951/1000000 . 682))
(:REMOVE (720196375832669/500000 . 649))
(:INSERT (1440392751739449/1000000 . 683))
(:REMOVE (720196375832677/500000 . 650))
(:INSERT (720196375869821/500000 . 684))
(:REMOVE (720196375832823/500000 . 652))
(:INSERT (11523142013923/8000 . 685))
(:REMOVE (180049093958307/125000 . 653))
(:INSERT (1440392751740591/1000000 . 686))
(:REMOVE (360098187934179/250000 . 677))
(:INSERT (360098187936649/250000 . 687))
(:REMOVE (180049093966941/125000 . 672))
(:INSERT (1440392751747383/1000000 . 688))
(:REMOVE (1440392751734837/1000000 . 667))
(:INSERT (180049093968431/125000 . 689))
(:REMOVE (360098187934481/250000 . 680))
(:INSERT (720196375874549/500000 . 690))
(:REMOVE (1440392751735273/1000000 . 671))
(:INSERT (720196375874769/500000 . 691))
(:REMOVE (720196375868443/500000 . 678))
(:INSERT (720196375874901/500000 . 692))
(:REMOVE (360098187933811/250000 . 670))
(:INSERT (72019637587503/50000 . 693))
(:REMOVE (1440392751735669/1000000 . 673))
(:INSERT (360098187937773/250000 . 694))
(:REMOVE (720196375867439/500000 . 668))
(:INSERT (1440392751751209/1000000 . 695))
(:REMOVE (1440392751736457/1000000 . 675))
(:REMOVE (1440392751738951/1000000 . 682))
(:INSERT (360098187938097/250000 . 696))
(:INSERT (720196375876093/500000 . 697))
(:REMOVE (1440392751739449/1000000 . 683))
(:INSERT (180049093969161/125000 . 698))
(:REMOVE (1440392751740591/1000000 . 686))
(:INSERT (1440392751753337/1000000 . 699))
(:REMOVE (720196375867451/500000 . 669))
(:INSERT (1440392751753699/1000000 . 700))
(:REMOVE (57615710069511/40000 . 679))
(:INSERT (360098187938581/250000 . 701))
(:REMOVE (720196375868023/500000 . 674))
(:INSERT (720196375877401/500000 . 702))
(:REMOVE (360098187934121/250000 . 676))
(:INSERT (720196375877539/500000 . 703))
(:REMOVE (1440392751738621/1000000 . 681))
(:INSERT (1440392751755891/1000000 . 704))
(:REMOVE (11523142013923/8000 . 685))
(:INSERT (57615710070237/40000 . 705))
(:REMOVE (720196375869821/500000 . 684))
(:INSERT (720196375878003/500000 . 706))
(:REMOVE (1440392751747383/1000000 . 688))
(:REMOVE (720196375878003/500000 . 706))
(:INSERT (360098187940751/250000 . 707))
(:INSERT (1440392751763007/1000000 . 708))
(:REMOVE (360098187937773/250000 . 694))
(:REMOVE (180049093968431/125000 . 689))
(:INSERT (1440392751781441/1000000 . 709))
(:REMOVE (57615710070237/40000 . 705))
(:INSERT (1440392751781929/1000000 . 710))
(:REMOVE (720196375877401/500000 . 702))
(:INSERT (720196375891547/500000 . 711))
(:REMOVE (720196375874549/500000 . 690))
(:INSERT (360098187945791/250000 . 712))
(:REMOVE (1440392751751209/1000000 . 695))
(:INSERT (1440392751783499/1000000 . 713))
(:REMOVE (180049093969161/125000 . 698))
(:INSERT (1440392751783677/1000000 . 714))
(:REMOVE (1440392751753337/1000000 . 699))
(:INSERT (288078550356783/200000 . 715))
(:REMOVE (720196375877539/500000 . 703))
(:INSERT (1440392751784041/1000000 . 716))
(:REMOVE (360098187936649/250000 . 687))
(:INSERT (1440392751784119/1000000 . 717))
(:REMOVE (1440392751753699/1000000 . 700))
(:INSERT (360098187946067/250000 . 718))
(:REMOVE (72019637587503/50000 . 693))
(:INSERT (1440392751784309/1000000 . 719))
(:REMOVE (720196375874769/500000 . 691))
(:INSERT (4501227349328/3125 . 720))
(:REMOVE (1440392751755891/1000000 . 704))
(:INSERT (1440392751785039/1000000 . 721))
(:REMOVE (360098187938097/250000 . 696))
(:INSERT (1440392751785863/1000000 . 722))
(:REMOVE (720196375874901/500000 . 692))
(:INSERT (90024546986619/62500 . 723))
(:INSERT (180049093972617/125000 . 724))
(:REMOVE (720196375876093/500000 . 697))
(:INSERT (288078550357291/200000 . 725))
(:REMOVE (360098187938581/250000 . 701))
(:INSERT (1440392751786463/1000000 . 726))
(:REMOVE (4501227349328/3125 . 720))
(:INSERT (45012273495217/31250 . 727))
(:REMOVE (180049093972617/125000 . 724))
(:INSERT (90024546990449/62500 . 728))
(:REMOVE (1440392751785039/1000000 . 721))
(:INSERT (1440392751847707/1000000 . 729))
(:REMOVE (720196375891547/500000 . 711))
(:INSERT (1440392751848687/1000000 . 730))
(:REMOVE (1440392751783499/1000000 . 713))
(:INSERT (144039275184971/100000 . 731))
(:REMOVE (1440392751784119/1000000 . 717))
(:INSERT (1440392751850003/1000000 . 732))
(:REMOVE (90024546986619/62500 . 723))
(:INSERT (720196375925021/500000 . 733))
(:REMOVE (1440392751786463/1000000 . 726))
(:INSERT (57615710074003/40000 . 734))
(:REMOVE (1440392751781441/1000000 . 709))
(:INSERT (288078550370029/200000 . 735))
(:REMOVE (1440392751783677/1000000 . 714))
(:INSERT (1440392751850691/1000000 . 736))
(:REMOVE (1440392751785863/1000000 . 722))
(:INSERT (1440392751850757/1000000 . 737))
(:REMOVE (360098187945791/250000 . 712))
(:INSERT (1440392751850769/1000000 . 738))
(:REMOVE (360098187946067/250000 . 718))
(:INSERT (1440392751850861/1000000 . 739))
(:REMOVE (1440392751763007/1000000 . 708))
(:INSERT (45012273495349/31250 . 740))
(:REMOVE (360098187940751/250000 . 707))
(:INSERT (1440392751851301/1000000 . 741))
(:REMOVE (288078550356783/200000 . 715))
(:INSERT (288078550370269/200000 . 742))
(:REMOVE (1440392751781929/1000000 . 710))
(:REMOVE (1440392751784309/1000000 . 719))
(:INSERT (180049093981537/125000 . 744))
(:REMOVE (288078550357291/200000 . 725))
(:INSERT (720196375926153/500000 . 745))
(:REMOVE (1440392751784041/1000000 . 716))
(:INSERT (1440392751852359/1000000 . 746))
(:INSERT (1440392751852281/1000000 . 743))
(:REMOVE (1440392751850757/1000000 . 737))
(:INSERT (180049093986747/125000 . 747))
(:REMOVE (1440392751852359/1000000 . 746))
(:INSERT (22506136748346/15625 . 748))
(:REMOVE (288078550370029/200000 . 735))
(:INSERT (360098187973553/250000 . 749))
(:REMOVE (1440392751850003/1000000 . 732))
(:INSERT (720196375947377/500000 . 750))
(:REMOVE (1440392751851301/1000000 . 741))
(:INSERT (1440392751894767/1000000 . 751))
(:REMOVE (45012273495349/31250 . 740))
(:INSERT (1440392751895343/1000000 . 752))
(:REMOVE (180049093981537/125000 . 744))
(:REMOVE (1440392751848687/1000000 . 730))
(:INSERT (720196375947953/500000 . 754))
(:INSERT (1440392751895713/1000000 . 753))
(:REMOVE (1440392751852281/1000000 . 743))
(:INSERT (72019637594807/50000 . 755))
(:REMOVE (1440392751847707/1000000 . 729))
(:INSERT (720196375948233/500000 . 756))
(:REMOVE (288078550370269/200000 . 742))
(:INSERT (144039275189657/100000 . 757))
(:REMOVE (45012273495217/31250 . 727))
(:INSERT (72019637594851/50000 . 758))
(:REMOVE (90024546990449/62500 . 728))
(:INSERT (360098187974311/250000 . 759))
(:REMOVE (1440392751850769/1000000 . 738))
(:INSERT (90024546993589/62500 . 760))
(:REMOVE (1440392751850691/1000000 . 736))
(:INSERT (720196375949011/500000 . 761))
(:REMOVE (720196375925021/500000 . 733))
(:INSERT (1440392751898779/1000000 . 762))
(:REMOVE (1440392751850861/1000000 . 739))
(:INSERT (720196375949489/500000 . 763))
(:REMOVE (144039275184971/100000 . 731))
(:INSERT (288078550379849/200000 . 764))
(:REMOVE (720196375926153/500000 . 745))
(:INSERT (1440392751899467/1000000 . 765))
(:REMOVE (57615710074003/40000 . 734))
(:INSERT (1440392751899521/1000000 . 766))
(:REMOVE (720196375947377/500000 . 750))
(:INSERT (360098187983371/250000 . 767))
(:REMOVE (360098187974311/250000 . 759))
(:INSERT (144039275193387/100000 . 768))
(:REMOVE (1440392751894767/1000000 . 751))
(:INSERT (90024546995899/62500 . 769))
(:REMOVE (288078550379849/200000 . 764))
(:INSERT (1440392751934609/1000000 . 770))
(:REMOVE (720196375948233/500000 . 756))
(:INSERT (1440392751934907/1000000 . 771))
(:REMOVE (90024546993589/62500 . 760))
(:INSERT (1440392751935511/1000000 . 772))
(:REMOVE (144039275189657/100000 . 757))
(:INSERT (720196375968171/500000 . 773))
(:REMOVE (72019637594807/50000 . 755))
(:INSERT (22506136749006/15625 . 774))
(:REMOVE (180049093986747/125000 . 747))
(:INSERT (1440392751936933/1000000 . 775))
(:REMOVE (1440392751895343/1000000 . 752))
(:INSERT (720196375968601/500000 . 776))
(:REMOVE (720196375949011/500000 . 761))
(:INSERT (360098187984333/250000 . 777))
(:REMOVE (360098187973553/250000 . 749))
(:INSERT (1440392751938071/1000000 . 778))
(:REMOVE (1440392751898779/1000000 . 762))
(:INSERT (1440392751940101/1000000 . 779))
(:REMOVE (1440392751899467/1000000 . 765))
(:INSERT (1440392751941547/1000000 . 780))
(:REMOVE (720196375947953/500000 . 754))
(:INSERT (360098187985547/250000 . 781))
(:REMOVE (72019637594851/50000 . 758))
(:INSERT (57615710077703/40000 . 782))
(:REMOVE (1440392751899521/1000000 . 766))
(:INSERT (144039275194583/100000 . 783))
(:REMOVE (720196375949489/500000 . 763))
(:INSERT (1440392751948171/1000000 . 784))
(:REMOVE (90024546995899/62500 . 769))
(:INSERT (1440392751949099/1000000 . 785))
(:REMOVE (1440392751895713/1000000 . 753))
(:INSERT (360098187987279/250000 . 786))
(:REMOVE (22506136748346/15625 . 748))
(:INSERT (720196375974867/500000 . 787))
(:REMOVE (144039275194583/100000 . 783))
(:INSERT (1440392751950591/1000000 . 788))
(:REMOVE (1440392751938071/1000000 . 778))
(:INSERT (2304628403123/1600 . 789))
(:REMOVE (57615710077703/40000 . 782))
(:INSERT (360098187988073/250000 . 790))
(:REMOVE (360098187987279/250000 . 786))
(:REMOVE (1440392751948171/1000000 . 784))
(:REMOVE (720196375974867/500000 . 787))
(:REMOVE (1440392751941547/1000000 . 780))
(:REMOVE (144039275193387/100000 . 768))
(:INSERT (720196375984027/500000 . 791))
(:REMOVE (1440392751934609/1000000 . 770))
(:INSERT (1440392751969467/1000000 . 792))
(:INSERT (1440392751968203/1000000 . 793))
(:REMOVE (1440392751934907/1000000 . 771))
(:INSERT (288078550393979/200000 . 794))
(:REMOVE (360098187985547/250000 . 781))
(:INSERT (1440392751970681/1000000 . 795))
(:REMOVE (22506136749006/15625 . 774))
(:INSERT (1440392751971563/1000000 . 796))
(:REMOVE (360098187984333/250000 . 777))
(:INSERT (18004909399599/12500 . 797))
(:INSERT (90024546998257/62500 . 798))
(:INSERT (288078550393621/200000 . 799))
(:REMOVE (720196375968601/500000 . 776))
(:INSERT (1440392751974041/1000000 . 800))
(:REMOVE (720196375968171/500000 . 773))
(:REMOVE (1440392751935511/1000000 . 772))
(:INSERT (720196375987373/500000 . 801))
(:INSERT (1440392751974843/1000000 . 802))
(:INSERT (1440392751968051/1000000 . 803))
(:REMOVE (1440392751949099/1000000 . 785))
(:INSERT (144039275197729/100000 . 804))
(:REMOVE (720196375987373/500000 . 801))
(:INSERT (1440392751977511/1000000 . 805))
(:REMOVE (1440392751940101/1000000 . 779))))
(defun element< (o1 o2)
(cond ((= (car o1) (car o2))
(< (cdr o2) (cdr o2)))
(t
(< (car o1) (car o2)))))
(defun element= (o1 o2)
(and (= (car o1) (car o2))
(= (cdr o1) (cdr o2))))
(defun test-rbt (values)
(let ((q (make-instance 'cl-containers:red-black-tree
:sorter #'element<
:test #'element=
:key #'identity)))
(loop
for (cmd value) in values
do (ecase cmd
(:insert (cl-containers:insert-item q value))
(:remove (cl-containers:delete-item q value))))
q))
(defun test-rbt-threaded ()
(loop
repeat 2
do (bordeaux-threads:make-thread (lambda () (test-rbt *test-values1*)))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment