Created
August 24, 2015 07:43
-
-
Save lokedhs/197c00e4bec064a58287 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
(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