use intspan;
use intspan::IntSpan;
use std::env;
use std::time::Instant;
fn run_file() {
let r1 = "3760-3913,3996-4276,4486-4605,4706-5095,5174-5326,5439-5630,6915-7069,7157-7232,7315-7450,7564-7649,7762-7835,7942-7987,8236-8325,8417-8464,8571-8666,11864-12940,23519-24451,24542-24655,24752-24962,25041-25435,25524-25743,25825-25997,26081-26203,26292-26452,26543-26776,26862-27012,27099-27281,27372-27536,27618-27713,27803-28431,28708-28805,28890-29080,29160-30065,30147-30311,30410-30816,30902-31079,31382-31424,31521-31602,31693-31813,31933-31998,32088-32195,32282-32347,32431-32459,32547-32670,33992-34327,34401-35474,35567-35647,35730-35999,36090-36171,36624-36685,36810-36921,37023-37061,38898-39054,39136-39287,39409-39814,40213-40329,40473-40597,40675-40877,44677-44787,45503-45559,45646-45954,46044-46145,46373-46789,47705-47982,48075-48852,48936-49166,50284-50337,50419-50631,50883-50954,52239-52346,52434-52730,52938-53183,53484-53624,53703-54494,56624-56740,57392-58978,61905-61949,62050-62124,63557-63811,64398-64475,64570-64656,64751-64807,64901-65017,65110-65217,65331-65456,65563-65652,65733-65864,66107-66160,66262-66342,66450-66557,66678-66749,66835-66897,67324-67512,70115-70285,70840-70968,71041-71721,71942-71998,72583-72669,72915-73016,73087-73163,73287-73395,73488-73740,73822-73883,74105-74250,74338-74443,75633-76556,83045-83671,83884-84864,86715-87162,87880-88145,88977-89081,89173-89263,89405-89529,91750-92070,92270-92501,92569-92933,93045-93171,93271-94281,94357-95075,95160-95552,96064-96157,96554-97242,97620-97805,98457-98605,98908-99046,100683-101678,104731-105309,109595-111367,112290-113195,113279-113905,114299-114433,114619-115296,117065-118522,119429-119854,120221-120946,121582-123501,123579-123669,123785-123897,123992-124123,124211-124394,124499-124632,124714-124818,124921-125046,125134-125226,125329-125655,125742-125843,125936-125998,126076-126589,126686-126840,126935-127453,127532-127573,127651-127782,127868-127935,128028-128312,128479-128551,128968-129060,129853-129914,130039-130099,132414-132744,132824-133218,133303-133539,133641-133752,133911-134206,134289-134501,134582-135118,135188-135216,136732-136816,136935-137758,137848-137970,138513-138541,138597-138778,138863-139114,139203-139345,139488-139568,142138-142281,142424-142639,142711-142914,143773-143824,143934-143977,144064-144109,144193-144227,144315-144351,144447-144559,144927-145004,145132-145207,145345-145400,147267-147333,147452-147539,147644-147740,148319-149761,151158-151298,151393-151731,151932-152002,152086-152149,153113-154198,154566-156011,156953-157756,157829-158112,158254-158536,159935-159992,160079-160302,160418-160478,160568-162219,164105-165517,166853-166871,166929-167798,169115-169257,169347-169509,169600-169710,169806-169993,170071-170162,170266-170313,170412-170507,170622-170760,170851-171154,172295-172544,172621-172826,173251-173466,175862-176032,176207-176338,176592-176752,177025-178051,180401-180852,181347-181422,182061-182066,185260-186009,186340-186573,187235-187822,188011-188176,188284-188414,188529-189320,189417-189464,189562-189675,189765-189836,190596-190828,190941-190998,191138-191258,191341-191475,191579-191692,191780-191889,191967-192026,192107-192139,192640-193071,193351-193662,195980-196542,197115-197219,197300-197422,197501-197671,197775-198183,198267-198383,200526-201575,202345-202508,202782-202911,202991-203128,203267-203662,203760-203943,204029-204189,205176-205949,206692-207243,207325-207435,209395-209608,209764-209866,209950-210144,210385-210619,211052-211379,211474-211717,211855-212573,212671-212810,214229-214406,214480-214582,214697-214897,215317-215554,215633-215960,216044-216293,216414-217090,217165-217304,219200-219621,219752-220994,221950-222359,222622-223096,223551-223866,223945-224255,225986-226081,226171-226311,226396-226691,226849-227176,229206-229343,229429-229724,229829-229934,230349-230459,230559-230675,231164-231655,231784-231915,233188-233297,233387-233470,233548-233618,234250-234392,234529-234621,234935-234988,235198-235360,235718-235752,235845-236027,236145-236296,236429-236548,236673-236784,236865-237023,237504-237647,240057-240242,240352-240672,240744-240884,240960-241226,241306-241443,241539-241719,241805-241909,241983-242113,242214-242290,242449-242608,242943-243128,243336-243746,244035-244182,244257-244361,244505-244635,244770-244873,245151-245163,246411-246608,246731-246853,246949-247078,247167-247268,247362-247492,247577-247680,248191-248329,249242-249306,249543-249693,249774-249930,250017-250151,250536-250588,250669-250863,251004-251066,251143-251184,251260-251316,251399-251440,251539-251594,251680-251827,251922-252006,252121-252221,252947-253457,253531-253679,253775-253874,253954-254495,259495-259614,259690-260034,260118-260417,260508-260582,260670-260824,260921-261037,261129-261474,262950-262965,263047-263139,263232-263299,263369-263444,263526-263572,263645-263770,263857-263934,264073-264160,264280-264392,264520-264582,264657-264712,264797-264901,265021-265077,265336-265437,265578-265626,265777-265845,265952-266029,268471-268630,268717-268994,269083-269514,270016-270090,270622-270735,271002-271289,271379-271433,271541-271872,272111-272362,272445-272555,272651-272983,273064-273149,273234-273339,273429-273562,273653-273788,273863-274083,274167-274239,275528-275530,275632-275897,275973-276126,276412-276519,276706-276793,276870-276989,277077-277153,277232-277401,277493-277606,277717-277863,277947-278252,278316-278448,278759-278809,278887-279088,279166-279240,279327-279425,279536-279576,279797-279910,279974-280088,280180-280370,280449-280568,280657-280737,280889-281121,281309-281348,281438-281536,281759-282189,282484-282490,282919-283053,283132-283231,283314-283336,283444-283533,283813-284082,284781-286351,286452-286623,286717-286807,286997-287133,287221-287280,287395-287514,287642-287710,287789-287854,288087-288176,288401-288505,288593-288721,288882-289091,289237-289386,289539-289592,289718-289776,290028-290094,290170-290346,290439-290495,290578-290652,290747-290869,293396-293409,293500-293756,294055-294120,294210-294386,294511-294888,295242-295724,296213-296248,296362-296535,296626-296700,296782-296862,296951-297025,297101-297175,297532-297723,298717-300441,303650-304108,304439-304504,304697-304807,304880-304963,305038-305090,305174-305258,305347-305442,305547-305702,305785-305934,306045-306275,306558-306800,306893-307359,307441-307805,307889-308070,308148-308318,308397-308573,308797-308991,310332-310981,311337-313011,313595-313759,313872-313995,314087-314225,314441-314551,314652-314802,314891-315015,315577-315831,316204-316257,316344-316440,316539-316713,316792-316897,317008-317090,317167-317193,317294-317456,317553-317642,317765-317845,317979-318040,318145-318201,318296-318433,318565-318813,318986-319101,319204-319296,319372-319507,320041-320145,320252-320296,320380-320457,320769-321422,321751-321865,321958-322406,322513-322809,323082-323084,323208-323282,323679-323840,324258-324416,324636-324719,325473-325641,325913-326013,326106-326228,326332-326517,326594-326815,326931-327084,327237-327386,327488-327576,327663-327866,328000-328107,328188-328322,328424-328555,328686-328734,328884-329030,329119-329211,329311-329436,329573-329698,329781-329924,330027-330155,330243-330403,330830-331423,331534-332183,332276-332633,332724-333045,333129-333628,333905-334178,334471-334763,334899-335321,335419-335773,335916-336233,336417-337582,338538-338987,339126-339905,340374-341999,343462-344199,346052-347356,348046-348127,348212-348267,348373-348454,348562-348640,348735-348785,348880-348976,349067-349099,349238-349366,349550-349720,349803-349886,350049-350147,350226-350296,350474-350570,350658-350783,350871-350966,351044-351160,351252-351329,351412-351632,351729-351819,351912-352001,352126-352197,352842-353162,353214-354845,355385-356188,358104-359078,359164-360149,360240-360441,360918-363050,365625-366365,366723-366859,366986-367149,370445-370751,370859-370947,372064-372210,373335-373405,373606-373786,373892-374189,374272-374500,374583-374922,375122-375238,375325-375453,375528-375719,375808-376002,376114-376251,376352-376474,376562-376815,376925-377028,377211-377305,377391-377615,377881-378036,378119-378191,378298-378365,378504-378649,378746-378854,378943-379089,379183-379230,379305-379433,379528-379770,379866-380003,380089-380174,380270-380375,380602-380697,380846-380998,381150-381332,381405-381634,381730-381832,381912-382040,382127-382171,382373-382567,382803-382929,383030-383130,383395-383529,383608-383688,384084-384230,384318-384449,384558-384605,384694-384840,384908-384969,385171-385324,385432-385623,385713-385817,385909-386043,386133-386333,386428-386682,387479-387503,387584-387672,388223-388406,388539-388609,388716-388760,388851-388940,389050-389138,389226-389301,389410-389568,389876-389943,390037-390250,390352-390399,390483-390564,390762-390864,391003-391123,391216-391263,391458-391541,391652-391716,392021-392076,392262-392300,392374-392448,392939-393875,393966-394153,394228-394451,394672-395434,395761-395946,396029-396088,396167-396217,396291-396356,396439-396534,396609-396725,396793-396863,396941-397098,397703-397743,397877-397964,398065-398151,398292-398346,398460-398526,398614-398713,398905-398966,399068-399110,399182-399393,399484-399720,400350-400446,400725-400828,400931-401086,401164-401235,401323-401370,401461-401508,401595-401667,401775-401788,403467-403526,403771-403947,404186-404401,404627-404669,404757-404842,404912-404953,405065-405110,405230-405316,405430-405485,405648-405765,405893-405951,406061-406132,406247-406310,406415-406518,406721-406792,406903-406989,407080-407147,407321-407389,407468-407550,407722-407821,408073-408138,408236-408329,408408-408485,408779-409138,409219-410433,410803-410893,411177-411383,411883-412258,412460-412790,412883-413003,413080-413295,413367-413426,413619-414217,414424-414505,415154-415670,415742-415961,416045-416435,416731-416838,416962-417162,417248-417520,417623-417796,418818-418877,418987-419210,419297-419529,419650-419894,420514-420889,420984-421091,421191-421391,421526-421633,421720-421908,421981-422154,427548-427811,428902-429099,429248-429370,429462-429776,429851-429997,430069-430316,430414-430567,435174-435323,435450-435563,435650-435916,435997-436128,436277-436539,436622-436775,437951-438106,438218-438334,438422-438679,438783-438923,439052-439314,439406-439559,440757-441013,441136-441325,441398-442459,443301-443525,443629-443736,443979-444089,444258-444383,444489-444597,444683-444759,444846-445066,445454-445559,445648-445752,445844-445942,446030-446197,448665-448733,448812-448973,449055-449123,449225-449489,449714-449838,449939-450046,450151-450246,450646-451977,453288-453365,453594-453647,453730-453810,453907-454063,454197-454336,454415-454540,454622-454840,454927-455040,455112-455147,455242-455376,455816-455902,456178-456231,456314-456394,456490-456646,456757-456761,456843-456917,457010-457135,457211-457429,457514-457627,457716-457751,457840-457974,458243-458636,458732-458940,459021-459143,459503-459682,460323-460652,461828-461974,462202-462383,462475-462632,462727-462800,462876-462999,463123-463323,463421-463521,463979-464523,464762-464876,465933-466247,466732-466797,466958-467086,467186-467552,467684-467685,469818-469971,470252-470288,470371-470482,470574-470693,472138-472507,472668-473116,474516-474887,475142-476383,477814-478303,478525-478669,478790-478850,480921-481619,482270-483163,483764-483919,486964-487364,488720-489062,489146-489391,490093-490497,491300-491379,491488-491803,491907-491959,492086-492158,492248-492352,492443-492523,492607-492762,493683-495158,495175-495259,495350-495489,495563-495682,495757-495833,495912-496062,496586-496670,496760-496899,496972-497091,497165-497241,497329-497479,498052-498480,504897-505407,505499-505583,505845-506052,506137-506184,506367-506534,506644-507099,511916-511990,512074-512121,512214-512262,512378-512430,512525-512620,513147-513249,513332-513573,514110-514184,514271-514318,514422-514470,514553-514605,514705-514800,514892-514991,515093-515331,516618-516734,519037-520218,520687-520804,520890-521626,524134-524436,524521-524575,524662-524837,524917-525138,525224-525462,525546-527202,527311-527577,527658-527921,528010-528309,528392-528745,529836-530099,530182-530236,530403-530578,530681-530902,530980-531218,531325-533005,533079-533345,533453-533716,533808-534107,534189-534542,534827-535699,536483-537211,538000-538130,538209-538328,538419-538533,538627-538719,538808-538853,538936-539008,539255-539289,539391-539479,539611-539805,541380-542216,543153-543983,544796-544804,544973-545062,545632-545963,546062-546235,546313-546400,546512-546637,546727-546774,546871-546939,547024-547172,547248-547374,547463-547671,547748-547879,547970-548051,548134-548181,548311-548439,548525-548602,548815-548994,552138-552182,552275-552373,552456-552506,552687-552761,553181-553261,553395-553490,553600-553677,554472-554613,554796-554863,555572-555643,555726-555854,557092-557108,557317-557668,561007-561695,561902-562382,564293-564697,565433-565711,565784-565953,566043-566140,566226-567580,568704-568739,568832-569223,569305-570418,572187-572759,572836-573252,573338-573397,573489-573953,574120-574746,576046-576145,576548-576613,576850-576912,576994-577592,577784-577941,577979-578079,578181-578244,578546-578620,578722-578791,578895-579017,579196-579312,579421-579525,579647-579799,579879-579967,580050-580130,580227-580299,581084-581186,581278-581315,581497-581556,581644-581718,581815-581919,584397-584618,584860-584956,585053-585144,585237-585368,585500-585685,585776-585942,586023-586101,586192-586320,586439-586566,586649-587036,588367-588540,588663-589232,589706-589996,592115-593200,594697-596478,596572-597382,597521-598473,599734-599812,599892-599976,600065-600234,600434-600513,600721-600825,600936-600976,601227-601372,601547-601560,601653-601706,601812-602021,602673-602754,602980-603125,603601-603678,603775-604134,605071-605403,605515-605604,605705-605805,605919-606102,606176-606322,606529-606624,608120-608147,608242-608309,608398-608711,608816-608938,609280-609391,610681-610935,611026-611529,611618-611920,612019-612225,613386-613706,613994-614157,614240-614345,614449-614610,614722-614814,614989-615189,615277-615483,615852-616103,618284-619328,619639-620333,620773-621222,621637-622137,623933-624134,624231-624304,625145-625292,625373-625608,626918-627004,627100-627165,627308-627382,627482-627614,627701-627747,627835-627892,627970-628019,628112-628168,628246-628469,628935-628995,629288-629321,629418-629494,629580-629583,630569-630703,630832-630895,630978-631033,631104-631179,631265-631336,631431-631518,631603-632043,632128-632348,632421-632449,632528-632615,632716-632806,632881-633085,635474-635651,635739-635986,636081-636359,636592-636729,636828-636886,636978-637083,637401-637514,637602-637723,638258-638603,643063-643208,643305-643554,643644-643745,643877-643972,644160-644256,644350-644485,645372-645485,645575-645679,645755-645814,645899-646037,646126-646310,646406-646489,646567-646689,646777-646956,647038-647107,647184-647280,647367-647442,647531-647620,647703-647807,647924-647995,648102-648275,648362-648432,648508-648656,648766-648829,648911-649139,649368-649459,649551-649675,649762-650438,650563-650709,650791-650904,651128-651219,651320-651539,651711-651797,653976-654338,655749-655823,655933-656029,656134-656234,656317-656505,656588-656745,656827-657058,657142-657277,657392-657495,657856-658125,658886-659316,659423-659471,659556-659705,661363-661790,661901-661949,662042-662191,663079-663545,663615-663663,663760-663902,664017-664128,665308-665777,665858-665910,666114-666262,666351-666420,667002-667068,667151-667281,667325-667464,667541-667641,667735-667868,667957-668082,668173-668468,668613-668745,668856-668987,669079-669134,669227-669266,669461-669513,669620-669650,669750-669773,671661-671783,671919-671974,672106-672145,672332-672406,672518-672548,672651-672814,673408-673706,673964-674024,674099-674165,674441-674704,674813-674880,674968-675077,675187-675227,675340-675494,675592-675945,676044-676127,677869-678002,678094-678193,678289-678522,678592-678873,678971-679060,679148-679288,679368-679490,679578-679730,679821-679997,680103-680264,680341-680484,680559-680777,680858-681025,681111-681212,681724-681921,682243-682403,682732-682892,683065-683077,683175-683317,683402-684777,684864-685965,686056-686424,686505-686605,686679-686751,686844-686996,688057-688146,688281-688364,688458-688602,688679-688950,689036-689158,689251-689409,689532-689813,689985-690173,690399-690579,690757-690898,691121-691364,691443-692078,692175-692453,693480-693571,694117-694183,694280-695476,695547-695793,695887-696188,698207-698515,699121-699246,701621-701681,701775-701875,701976-702019,702106-702183,702276-702468,702567-702597,702679-702737,702828-702901,703012-703098,703195-703256,703353-703381,703482-703568,704279-704494,704588-704668,705064-705129,705302-705367,705534-705656,706101-706457,707726-708189,708304-708509,708601-709467,709598-709860,710102-710136,710241-710333,710695-710801,710912-711016,711092-711184,711263-711408,711505-711763,712971-714206,714317-714463,714558-714864,715007-715315,715660-718662,718935-720585,720681-721795,721905-722007,722116-722815,722966-724119,724275-724389,724681-724746,724890-725081,725236-725409,725552-725608,725689-725824,726037-726122,726275-726347,726710-726891,730148-730415,730497-730610,730916-731073,731176-731379,731794-732741,732928-737081,737233-737332,739715-740050,740124-740245,740355-740502,740620-740757,740970-741065,741148-741207,741509-741601,741684-741795,741946-742050,742181-742317,742502-742736,742822-742982,743090-743203,743301-743546,743620-743716,743815-743819,744026-746407,747219-747531,747622-747726,747858-747955,748442-748639,749359-749495,749785-749949,750118-750298,750416-750472,750557-750627,750796-750874,750957-751016,751120-751223,751297-751357,751428-751796,752271-752660,752982-753140,753528-754142,754471-754890,755381-756223,756461-756538,756645-756735,757554-757686,757937-758006,758199-758259,758350-758441,761321-761810,761886-762391,762510-762578,763013-763210,763299-763430,763980-764066,764157-764597,764699-764931,765025-765255,765485-765600,765753-766053,769805-770527,773543-773691,773989-774153,774231-774539,774652-774700,774785-774879,774968-775047,775122-775179,775822-776355,776482-776762,777155-777237,777336-777739,777872-778065,778153-778333,778486-778610,778807-778896,779002-779080,779174-779250,779538-779646,779744-779863,780755-780836,781081-781124,782948-783175,783318-783596,783681-783842,783943-784026,784133-784240,787143-788444,790110-791414,792418-792461,792754-792838,793576-793731,793829-793930,794022-794198,794328-794410,794542-794650,794899-794969,795102-795159,795678-795856,795988-796018,796536-796628,796776-796892,797041-797127,797313-797411,797546-797600,797728-797789,798001-798102,799191-799431,799641-799717,799827-799910,799999-800112,800382-800465,800629-800700,800972-801039,801185-801272,801356-801429,801517-801889,802012-802058,802163-802223,802320-802436,803635-803687,803835-803957,804247-804367,804739-804852,804961-805070,805167-805350,805458-805652,805860-806087,806196-806409,806661-806758,807970-808017,808229-808394,808532-809214,809409-809582,809672-809788,809911-810090,810188-810234,810380-810680,811033-811988,812030-813086,813975-816623,817027-817096,817175-817767,818161-818280,818920-819078,819295-819297,819712-819783,819897-820077,820159-820501,820595-820666,820738-821227,822834-824246,824653-824813,824891-824992,825102-825147,825253-825342,825422-825487,825587-825655,825745-826179,827182-829182,829721-830191,830968-831313,831420-832640,832753-832935,833084-833367,833454-833570,833694-833956,834254-834419,834514-834996,836155-836328,836769-837233,837471-837908,838069-838314,838400-839227,839312-839469,839678-839805,839920-840362,841033-842418,842895-843146,843231-843552,843677-844158,844782-845033,845114-845435,845952-846574,848159-848227,848367-848497,848642-848713,848808-848879,848998-849070,849179-849235,852681-853874,854653-854706,854803-854933,855031-855166,855255-855330,855405-855601,855688-855786,855859-855943,856056-856294,856370-856444,856540-856651,856759-856840,857013-857093,857279-857437,857547-857628,857704-857799,857971-858040,858120-858216,858599-858693,858777-858850,859001-859079,859232-859292,859398-859599,861109-861278,861368-861511,861606-861909,862042-862212,862314-862393,862488-862640,862753-862804,863459-863541,863860-864019,866217-866941,867409-867493,869302-869370,869454-869552,869658-869782,869875-869962,870144-870227,870313-870407,870496-870571,870651-871175,871874-872212,872292-872393,872445-872682,872740-872906,873436-874832,876258-877547,877948-878456,878540-878655,878735-878810,878911-879553,880638-881876,881978-882055,882250-883338,883782-885611,885851-885937,886035-886100,886196-886244,886393-886460,886554-886599,886696-886789,886878-886940,887015-887137,887225-887258,887368-887430,887531-887635,887725-887778,890428-892410,894480-894944,895030-895253,895355-895472,895583-895921,896015-896257,898916-899440,901304-901396,901486-901706,901891-902077,902170-902347,902425-902672,904319-904420,904521-904615,904728-904775,904881-905004,905119-905173,905268-905383,905497-905565,905667-905784,905943-906013,907699-907755,907849-907947,908033-908570,908655-909010,909090-909245,910249-910481,910860-911103,911436-911759,914222-914839,914909-915456,915538-916222,916990-917303,917640-917865,918308-918601,918868-919008,919096-919188,919267-919393,919503-919609,919737-919817,919913-919999,920087-920306,921038-921195,921299-921401,921611-921844,923492-923755,923828-923977,924093-924287,924996-925208,925279-925446,925551-925780,926160-926373,931017-931520,934055-934708,934785-935069,935164-935481,935570-935797,935882-936097,936189-936581,936655-936792,937920-938309,938424-938530,938634-939800,939876-940002,940092-940367,940453-940678,940773-941068,941211-941267,941366-941431,941537-941572,941694-941794,941915-941948,942031-942105,942187-942567,942653-942820,942980-943039,943123-943320,944772-944982,945111-945168,945472-945530,945780-945861,945952-946072,946169-946210,946309-946812,946894-947019,947123-947293,947399-947431,947555-947664,947785-948009,948064-948343,948429-948640,948697-948816,948912-948992,949076-949207,949297-949452,949541-949621,949734-949796,949883-950125,950198-950311,950404-950500,950582-950794,950881-951041,951126-951211,951528-951696,954589-955770,957261-957998,958759-959008,959428-959609,960008-960676,962128-963321,963469-963546,963639-964191,964295-964380,964504-964626,964739-964873,964952-965041,965124-965309,965453-965506,965599-965736,965823-965888,965996-966157,966446-966622,967596-968568,969315-969711,969908-970058,976428-976501,977233-977685,979611-979799,979891-980103,980185-980355,980778-980894,980987-981157,982625-983368,985786-986068,986279-986541,986854-987282,987524-987916,989250-989550,989653-989918,990049-990459,990531-990908,991252-991746,992443-992691,992778-992852,993478-993631,994046-994206,994354-994405,994496-994632,994828-994914,995313-995594,996432-996734,996848-996939,997177-997276,997418-997489,997604-997666,997755-997895,998169-998300,998420-998515,998733-999017,999109-999411,999504-999680,999760-1000026,1000112-1000231,1001473-1001747,1001809-1002067,1002143-1002384,1002471-1002687,1002783-1002862,1002948-1003032,1003137-1003268,1003389-1003502,1003607-1003654,1003810-1003894,1003971-1004027,1004125-1004240,1005439-1005514,1005612-1005652,1005746-1005815,1005926-1006074,1006176-1006271,1006428-1006498,1006581-1006642,1006734-1006797,1006917-1007001,1007081-1007207,1007290-1007375,1007459-1007525,1007602-1007732,1007828-1008118,1009542-1010951,1011388-1011433,1011502-1011557,1011654-1011689,1011778-1011858,1011942-1012013,1012165-1012236,1012335-1012439,1012509-1012559,1012646-1012680,1012868-1012912,1013179-1013212,1014085-1014237,1014334-1014543,1014767-1014872,1014951-1015050,1015199-1015304,1015428-1015518,1015684-1015825,1016079-1016226,1016340-1016449,1016795-1016951,1017058-1017183,1017332-1017472,1018237-1019049,1019311-1019394,1019604-1019779,1019906-1020092,1020187-1020414,1020513-1020564,1020655-1020818,1020982-1021220,1021287-1021443,1021800-1021871,1022424-1022746,1022831-1022912,1023008-1023136,1024847-1025095,1025293-1025568,1025865-1027616,1028415-1028873,1031703-1031784,1031901-1031985,1032059-1032163,1032244-1032412,1032582-1032653,1032808-1032859,1033187-1033281,1033438-1033537,1033876-1034029,1034122-1034338,1034702-1034778,1034886-1035055,1035140-1035284,1035383-1035518,1035886-1036128,1036610-1036692,1036797-1036850,1036944-1037018,1037089-1037441,1037531-1037746,1037921-1038175,1038276-1038376,1038519-1038705,1038801-1038898,1038995-1039085,1039224-1039389,1039488-1039606,1039695-1040045,1040597-1040680,1040874-1040974,1041049-1042093,1042239-1042313,1042564-1042741,1042954-1043163,1043392-1043819,1045967-1045995,1046099-1046195,1046329-1046379,1046470-1046536,1046624-1046877,1046987-1048005,1048152-1048422,1048499-1048630,1048720-1048758,1048853-1048915,1049014-1049196,1050832-1051116,1051803-1052037,1052160-1052269,1052546-1052775,1053171-1053187,1053327-1053494,1053807-1054200,1054285-1054385,1054465-1054528,1054663-1054806,1054936-1055088,1055174-1055290,1055478-1055708,1055798-1056103,1056187-1056288,1056434-1056550,1057225-1057330,1057635-1059247,1059809-1060080,1060324-1060634,1060732-1060864,1060957-1061026,1061457-1063784,1064848-1064960,1065055-1065294,1065380-1065443,1065550-1065855,1065935-1066149,1066231-1066525,1066607-1066771,1066852-1067550,1067763-1067849,1067927-1068247,1068357-1070396,1073465-1073569,1073649-1073861,1073940-1074131,1074225-1074425,1074530-1074610,1074898-1075021,1075108-1075200,1075301-1075374,1075984-1076010,1076119-1076225,1076311-1076424,1076566-1076679,1076872-1076932,1077036-1077236,1077341-1078353,1078427-1078552,1078682-1078749,1078838-1078946,1079246-1079330,1079410-1079526,1079621-1079779,1080233-1080321,1081208-1084246,1086495-1086497,1087114-1087242,1087370-1087513,1087657-1087802,1087890-1088049,1088251-1088309,1088411-1088570,1088664-1088813,1088895-1089031,1089121-1089267,1089393-1089494,1089912-1089969,1090061-1090162,1090406-1090443,1090567-1090693,1090815-1090982,1091074-1091205,1091304-1091413,1091502-1091562,1091656-1091833,1091926-1092131,1092302-1092421,1092572-1092670,1092776-1092988,1093109-1093248,1093336-1093450,1093541-1093585,1093692-1093742,1093825-1093995,1094312-1094464,1094551-1094742,1094901-1095029,1095107-1095177,1095347-1095443,1095518-1095574,1095665-1095721,1095804-1095967,1096035-1096146,1097423-1097531,1097619-1097680,1097800-1097912,1097999-1098101,1098379-1098606,1098718-1098936,1099037-1099297,1099400-1099702,1100444-1100608,1104623-1105288,1105389-1105988,1106617-1106692,1106857-1106990,1107070-1107189,1107268-1107447,1107556-1107729,1107820-1107870,1107985-1108078,1108400-1108557,1109676-1109865,1109984-1110223,1110300-1110363,1110457-1110586,1110678-1110819,1110983-1111228,1111305-1111392,1111523-1111625,1111791-1111919,1112001-1112114,1112291-1112409,1112500-1112590,1112689-1112781,1112861-1112950,1113072-1113191,1113301-1113392,1113507-1113564,1113786-1113875,1114696-1115192,1115557-1115821,1115938-1116100,1116226-1116961,1117053-1117482,1117575-1117756,1117989-1118145,1118223-1118447,1118531-1118881,1118968-1119069,1119153-1119383,1119853-1120671,1121716-1122483,1125576-1125728,1125995-1126124,1126233-1126363,1126535-1126673,1126848-1126962,1127193-1127256,1127434-1127673,1127823-1127828,1128564-1128639,1128744-1129052,1129135-1129319,1136382-1136620,1136934-1137145,1137460-1137598,1137740-1137801,1138303-1138340,1140749-1141297,1141852-1142100,1142576-1142633,1142721-1142869,1142958-1142960,1143643-1143888,1143980-1144124,1144234-1144556,1144655-1144784,1144876-1145094,1145295-1145359,1145497-1145720,1146141-1146374,1146523-1146541,1147721-1147864,1147948-1148091,1148173-1148352,1148818-1149996,1150118-1150319,1150392-1150882,1150968-1151118,1151212-1151324,1151503-1151851,1152317-1152475,1152677-1152809,1152879-1153124,1153234-1153345,1153718-1153895,1155116-1155277,1155350-1157125,1161584-1161886,1163345-1163452,1163606-1163704,1163791-1163880,1163972-1164086,1164670-1164737,1165296-1165801,1165873-1166194,1166284-1166538,1167507-1168652,1175177-1175578,1177142-1177393,1177526-1177847,1177921-1178384,1179678-1180110,1180479-1180631,1180717-1181481,1181669-1181769,1182081-1182323,1182454-1182587,1182691-1183198,1183302-1183428,1183530-1183615,1185719-1186306,1186452-1187164,1187260-1187484,1187589-1187901,1189418-1189512,1189601-1189712,1189805-1189940,1190030-1190307,1190465-1190640,1190747-1190905,1191225-1191267,1191634-1191858,1191939-1192034,1192214-1192297,1192413-1192573,1192718-1192835,1192925-1193060,1193143-1193321,1193460-1193699,1198860-1199114,1199197-1199361,1199459-1199641,1199710-1200304,1200424-1200536,1200643-1200863,1200962-1201301,1202815-1202890,1202976-1203016,1203104-1203173,1203272-1203420,1203495-1203590,1203698-1203768,1203844-1203905,1204044-1204107,1204182-1204266,1204393-1204519,1204619-1204704,1204795-1204858,1205115-1205251,1205386-1205664,1207344-1207862,1209006-1209060,1209159-1209259,1209347-1209853,1211177-1212144,1212222-1212408,1212486-1213158,1213230-1213897,1213980-1214591,1216110-1216122,1216244-1216528,1217133-1217257,1218020-1218181,1218282-1219325,1221757-1221864,1221956-1222081,1222174-1222365,1222489-1223181,1224194-1224235,1224552-1224680,1226749-1226761,1226852-1226937,1227087-1227158,1227247-1227309,1227580-1227666,1227816-1227957,1228046-1228167,1228331-1228447,1228706-1228801,1228897-1228956,1229054-1229128,1229233-1229337,1229504-1229623,1229717-1229794,1229893-1229977,1230065-1230116,1230303-1230379,1230465-1230592,1231852-1232272,1232605-1232991,1233493-1233600,1233780-1233787,1234456-1234504,1234604-1234758,1234994-1235108,1235185-1235357,1235455-1235895,1237256-1239061,1240582-1240784,1241057-1241375,1241425-1241542,1241616-1241677,1241761-1241810,1242743-1242896,1243442-1243512,1243608-1243743,1243852-1243949,1245070-1245199,1245292-1245469,1245636-1245888,1246859-1248003,1248117-1248600,1252212-1252441,1252542-1252731,1252827-1252925,1253012-1253107,1253182-1254147,1254220-1254438,1254541-1254750,1254866-1255125,1255277-1256884,1257375-1257510,1258760-1258899,1259027-1259228,1259358-1259570,1259728-1259871,1260012-1260125,1260525-1260626,1260746-1260806,1260942-1260978,1261270-1261411,1262123-1262125,1262556-1262681,1262897-1263040,1263175-1263320,1263412-1263568,1263681-1263739,1263833-1263992,1264094-1264243,1264310-1264446,1264533-1264679,1264760-1264861,1265159-1265216,1265291-1265392,1265492-1265529,1265614-1265740,1265823-1265993,1266077-1266208,1266314-1266423,1266552-1266612,1266815-1266992,1267076-1267281,1267395-1267514,1267771-1267869,1267996-1268283,1268406-1268558,1268673-1268822,1268940-1269104,1269192-1269331,1269452-1269566,1269645-1269665,1269771-1269848,1269937-1270107,1270272-1270424,1270572-1270748,1270841-1271131,1271199-1271269,1271367-1271466,1271543-1271599,1271678-1271734,1271941-1272021,1272101-1272177,1272262-1272376,1279524-1280237,1280400-1280771,1281104-1281331,1282869-1282959,1283068-1283162,1283258-1283322,1283483-1283540,1283639-1283708,1283794-1283873,1283969-1283996,1284101-1284162,1284243-1284278,1284356-1284453,1284628-1284690,1284790-1284841,1284926-1285004,1285139-1285180,1285285-1285369,1285516-1285627,1285719-1285803,1285896-1286001,1286411-1286492,1287831-1287920,1288232-1288788,1289694-1289820,1289921-1290065,1290152-1290223,1290772-1290986,1291350-1291805,1292541-1293248,1293853-1294239,1294893-1295775,1295941-1297535,1297706-1297855,1297945-1298034,1298122-1298256,1298471-1298563,1298856-1298903,1300668-1301306,1301985-1302089,1302161-1302286,1302383-1302532,1304052-1304279,1304373-1304511,1304621-1304724,1304823-1305465,1306792-1306872,1307680-1307780,1310430-1310579,1313662-1314029,1314464-1314659,1314780-1314923,1315041-1315205,1315307-1315420,1316919-1318787,1318867-1319187,1319285-1319524,1319605-1319768,1319852-1319999,1320088-1320210,1320286-1320373,1320478-1320653,1321941-1322018,1322257-1322321,1322407-1322491,1322573-1322699,1322788-1322886,1322967-1323034,1323132-1323239,1323323-1323400,1323506-1323638,1323732-1323828,1323905-1324028,1324134-1324242,1324308-1324391,1324480-1324556,1325385-1325438,1325590-1325689,1325855-1326093,1326194-1326253,1326340-1326531,1326637-1326790,1326880-1326967,1327044-1327122,1327225-1327306,1327394-1327491,1327572-1327640,1327837-1327904,1328034-1328107,1328457-1328501,1328722-1328882,1329148-1329213,1329319-1329420,1329559-1329645,1329764-1330036,1330147-1330346,1330474-1330607,1330680-1331086,1331857-1332000,1332137-1332199,1332389-1332509,1332589-1332730,1333237-1333426,1334760-1334949,1335332-1335473,1335563-1335683,1335768-1335830,1335924-1336070,1336564-1336986,1337087-1337242,1337344-1337556,1337648-1337767,1339947-1340117,1340891-1341259,1341340-1342965,1345469-1346241,1346359-1346839,1346942-1347040";
let r2 = "117338-118498,132440-133542,136805-138202,148332-149762,154585-156012,215619-217298,219744-220964,336438-337581,340386-341555,346065-347320,425717-426887,428189-431284,453858-455427,456441-458024,475175-476276,494934-497761,519058-520242,524282-528762,530143-534560,541221-542309,542997-544068,549655-552168,568838-570382,582274-583487,585045-586103,640957-642185,645750-647829,647912-649169,649346-650915,658549-660095,661107-662640,668973-669976,671812-672843,677565-681029,713024-715341,715621-717371,717385-718774,718923-721801,735505-737088,780551-781905,786931-788610,789937-791586,805425-806758,827188-828354,852578-853873,870142-871175,873161-875982,878516-879557,888720-890058,894478-895960,908137-909241,1001786-1002852,1008439-1011228,1058241-1059251,1077048-1078081,1092773-1094000,1104239-1106002,1152161-1153374,1199194-1200295,1237253-1238961,1246881-1248006,1249668-1252282,1253228-1254446,1255205-1256873,1263152-1265427,1265489-1266507,1268874-1270113,1322560-1323621,1352063-1354742,1356336-1357781,1371086-1372145,1441524-1443207,1445052-1446265,1453210-1454260,1462850-1467445,1469488-1470558,1482670-1484005,1484300-1486620,1491937-1493505,1506123-1507920,1520918-1522770,1522972-1524251,1525601-1527454,1555825-1557085,1609106-1610801,1636508-1637947,1645737-1647189,1648492-1650443,1650682-1651752,1651823-1652915,1665776-1666871,1683218-1684551,1827322-1828446,1847702-1848799,1851277-1852434,1870388-1871990,1875828-1877011,1900473-1904853,1923138-1924335,1924980-1926579,1927357-1928505,1942895-1944110,1960214-1961293,1961371-1962528,2014440-2015618,2028046-2029406,2034082-2035548,2035733-2037239,2043391-2045590,2071660-2072986,2090118-2091246,2227779-2228983,2279003-2280037,2291377-2292856,2293288-2294701,2296373-2297721,2297952-2299565,2306430-2308021,2313772-2315250,2350224-2351396,2355212-2356205,2370137-2374133,2390991-2392406,2409882-2412188,2416744-2420749,2455250-2457163,2458713-2460614,2463185-2465091,2482584-2485045,2485301-2488032,2523889-2525744,2527426-2529344,2531804-2534158,2589038-2590145,2592400-2593713,2594701-2597244,2599454-2601100,2602065-2603274,2603480-2604895,2615247-2616829,2647918-2649001,2780355-2781860,2786408-2787585,2848886-2850229,2850443-2851555,2852881-2854235,2854299-2855399,2891519-2893043,2910994-2915823,2916699-2921527,3035648-3037562,3045969-3047077,3059768-3061098,3062235-3063643,3064927-3066238,3113114-3114851,3115273-3116474,3125972-3127357,3145876-3147106,3166581-3167782,3237273-3238352,3328912-3332932,3343424-3345918,3349575-3350787,3378236-3380231,3391491-3392521,3410199-3411401,3413553-3414830,3432758-3433745,3454102-3455229,3515480-3516533,3538486-3540351,3540963-3542548,3612297-3614338,3635296-3636336,3645617-3647369,3703795-3705058,3705478-3706747,3730423-3731675,3760014-3761307,3763440-3764594,3794157-3797526,3797557-3800970,3815399-3817375,3841095-3843060,3852609-3854305,3856244-3857905,3891994-3894663,3897404-3898613,3899018-3900256,3907420-3908876,3913181-3914252,3976113-3977277,3979954-3981114,3988984-3991049,4023993-4025176,4035435-4036916,4041439-4042563,4046251-4048271,4070185-4071676,4140759-4142967,4144811-4147145,4155834-4157424,4174924-4175964,4175973-4177100,4178624-4179646,4179655-4180791,4184132-4185914,4197232-4198763,4199597-4200625,4214319-4215935,4220682-4222212,4248312-4250444,4260752-4262082,4294886-4296735,4304178-4305663,4353970-4355786,4382391-4383633,4395113-4396138,4396555-4397863,4406020-4409739,4437424-4438772,4442269-4443565,4455354-4456390,4459073-4460130,4461808-4462855,4463971-4465455,4467260-4468750,4478684-4480250,4482018-4483584,4484621-4486229,4486330-4488211,4509321-4512775,4521112-4522398,4604853-4605870,4606512-4607732,4616459-4617670,4624567-4626138,4627649-4631004,4634705-4636979,4677274-4678692,4725057-4726422,4731603-4733763,4745234-4746250,4753496-4755523,4777636-4778785,4791053-4792373,4803012-4804409,4813009-4814134,4818742-4820132,4822839-4823987,4825266-4827418,4830554-4831690,4850181-4851880,4852548-4854248,4862736-4863991,4866553-4867803,4877834-4878959,4890369-4891456,4911372-4913022,4916197-4917219,4925331-4926325,4949152-4950327,4950451-4952128,5023653-5026453,5028074-5030940,5052973-5054198,5100442-5102313,5128332-5129787,5132581-5133899,5140993-5141984,5149849-5150993,5173437-5174656,5212597-5213972,5213981-5215096,5215395-5217929,5220685-5223123,5224799-5226924,5234129-5235414,5235506-5236508,5266648-5267964,5269750-5270853,5310081-5312876,5319164-5320353,5320881-5322966,5353176-5354450,5370627-5371965,5376823-5378201,5390118-5391192,5417673-5418828,5461456-5463777,5465927-5467770,5468047-5469050,5491310-5492468,5492524-5493947,5495762-5497103,5502474-5503990,5519238-5520676,5522427-5525009,5525429-5528130,5528663-5531275,5532211-5534944,5535775-5538263,5549305-5550540,5551255-5552670,5553482-5554971,5564234-5565918,5590969-5592079,5596844-5598333,5602972-5604442,5605119-5606263,5608766-5609919,5629855-5630895,5665584-5667591,5679267-5681873,5683361-5684478,5699960-5701071,5716207-5718028,5718145-5720319,5742428-5743725,5808651-5810888,5813826-5816090,5838238-5840144,5896640-5898746,5910355-5911502,5988578-5990567,5992888-5996271,6018754-6020577,6020586-6021737,6022038-6023202,6053248-6054816,6054984-6056012,6107541-6108737,6121573-6122878,6191537-6197390,6198632-6204490,6250874-6252031,6273523-6276128,6303988-6307503,6353274-6354500,6354714-6355943,6378589-6379789,6379793-6381004,6411254-6413340,6435655-6436700,6464271-6465264,6469900-6471544,6472254-6473740,6501187-6502357,6516502-6518072,6530614-6532356,6534207-6535872,6536115-6537271,6539792-6543522,6544475-6545612,6613851-6615436,6657159-6660357,6679096-6680268,6690671-6691772,6692904-6694046,6705587-6709310,6717928-6719062,6720759-6722859,6729514-6730653,6732713-6734148,6738406-6740244,6741215-6742977,6744514-6745652,6766854-6767942,6769312-6770829,6772869-6773954,6826723-6828340,6833909-6835086,6835134-6836589,6916977-6918185,6938058-6939070,6985858-6987074,7012101-7013739,7014482-7016125,7038989-7040004,7049648-7050813,7063169-7064695,7084648-7085913,7088148-7089360,7098440-7099651,7101621-7102826,7115487-7116514,7122010-7126553,7130681-7132049,7134564-7135922,7161899-7163101,7170959-7172092,7186046-7187145,7187595-7189574,7190864-7192824,7193935-7195526,7200067-7201662,7203535-7204554,7204727-7206456,7207192-7209040,7219043-7220602,7226323-7227601,7229025-7230280,7286371-7288832,7302540-7305716,7306994-7309921,7325348-7328976,7377080-7378140,7386986-7388418,7390063-7392126,7392273-7394410,7394794-7397363,7397438-7398540,7398565-7400713,7409699-7411668,7413710-7414956,7425232-7427044,7430559-7432395,7434260-7435403,7435420-7436775,7439450-7440578,7440595-7443109,7446141-7448569,7449491-7450837,7464228-7465313,7468737-7469850,7495217-7496184,7545150-7546936,7548757-7550521,7566615-7568592,7610605-7611992,7613221-7614650,7643940-7645050,7665253-7666313,7668843-7669886,7672237-7673235,7709508-7710976,7711270-7712757,7712824-7714450,7735074-7737743,7743736-7745702,7746004-7747252,7774603-7776001,7797895-7800123,7826897-7828024,7859658-7865259,7867125-7872639,7890500-7892093,7892908-7894501,7960014-7961255,7966605-7968073,7976617-7978090,8031821-8032887,8077873-8079033,8096034-8097533,8099796-8101233,8130891-8132247,8132832-8134202,8147902-8149549,8150193-8151841,8157317-8158513,8182203-8183391,8209673-8211326,8213962-8215099,8221969-8223788,8252045-8253382,8254233-8255704,8328458-8329571,8329815-8331364,8367159-8368397,8371598-8372835,8388582-8391320,8402322-8404146,8423028-8424204,8424349-8425520,8432689-8434685,8441410-8443114,8444999-8446179,8450683-8452742,8465876-8468650,8469609-8471395,8475177-8476353,8482044-8483861,8488422-8489413,8495736-8497766,8510365-8511486,8521673-8522758,8550256-8551891,8557427-8558487,8575604-8577058,8586256-8588054,8588385-8590090,8601759-8603661,8604421-8606251,8610796-8612024,8614374-8620663,8632710-8633890,8644353-8648103,8706900-8708913,8737930-8738946,8740484-8741572,8760158-8762343,8765484-8790036,8791596-8793537,8798186-8839030,8845174-8846222,8939249-8940273,8981882-8982889,9034309-9038213,9081657-9082831,9090449-9091588,9126938-9128509,9130164-9131830,9133291-9135052,9136672-9138284,9138779-9140635,9141723-9143478,9159939-9161074,9161801-9162940,9168772-9169942,9182799-9184222,9195838-9196907,9214518-9215583,9231994-9233465,9233696-9235235,9241372-9242853,9243675-9244757,9296350-9298380,9317118-9319219,9435303-9439293,9441916-9445890,9467783-9469241,9471527-9473202,9501620-9503649,9505529-9507537,9520916-9527174,9565771-9567617,9570012-9572147,9574336-9575352,9576097-9578747,9580018-9581059,9582988-9584024,9589891-9591264,9592656-9595214,9595227-9596371,9691655-9692878,9695036-9696500,9704544-9706266,9713840-9715087,9733478-9738167,9763394-9768021,9804741-9805804,9843099-9844738,9904520-9905668,9906707-9907806,9915357-9916477,9993033-9994565,10002725-10005914,10005949-10007090,10018648-10020370,10067582-10068796,10069544-10073756,10073763-10076695,10081854-10083272,10083613-10085258,10086693-10088331,10090053-10091260,10092980-10094238,10120413-10122926,10124441-10126899,10148352-10149458,10152774-10156786,10199590-10200863,10215033-10216400,10217142-10218555,10268417-10271883,10271903-10274267,10277725-10281200,10281359-10283705,10298340-10300012,10304599-10305595,10322059-10323114,10330165-10332342,10339762-10341856,10347110-10349355,10389405-10391098,10393886-10395620,10400723-10403758,10403795-10405328,10407805-10410912,10410937-10412458,10439600-10440784,10444098-10445285,10456842-10457937,10460275-10461587,10472205-10473503,10474839-10476142,10494550-10496112,10496339-10497555,10503430-10504612,10571767-10572953,10592060-10595450,10639191-10640675,10710588-10711749,10739213-10740282,10740558-10747162,10748679-10749703,10749949-10756428,10797370-10798581,10824752-10826287,10836498-10837952,10838194-10839459,10855750-10857065,10876807-10879005,10881820-10884311,10895277-10896835,10898167-10899770,10900810-10902424,10929504-10930957,10945514-10946867,10994870-10996001,11017653-11018681,11021972-11023023,11032189-11033507,11044286-11045848,11046643-11048212,11102894-11104012,11104370-11105672,11105707-11107065,11142041-11144624,11169727-11170796,11170813-11172202,11172827-11173933,11182410-11185393,11189609-11192581,11228625-11230036,11240523-11241619,11243078-11244721,11245161-11246827,11259885-11261119,11288642-11290189,11291806-11293941,11318928-11320818,11323575-11325480,11339726-11341429,11345402-11347118,11365903-11368737,11416743-11418044,11418927-11420228,11448826-11450781,11476990-11478214,11503051-11506987,11507119-11512601,11581236-11584823,11613376-11614556,11651335-11653306,11705166-11706306,11710599-11711872,11742613-11744534,11760805-11762176,11779144-11780279,11834649-11836894,11846801-11850030,11851049-11854712,11879672-11880918,11905631-11906649,11915542-11918528,11918846-11919865,11925453-11926887,11937624-11939692,11939706-11940863,11941428-11944606,11946127-11948429,11995464-11996588,12000191-12001357,12009847-12011677,12022221-12024048,12033972-12035075,12035107-12037345,12037808-12039553,12041229-12042345,12044582-12046031,12169791-12170861,12177569-12179307,12180575-12182286,12189177-12190420,12191542-12192690,12193160-12194325,12202208-12203341,12209048-12210292,12220955-12223245,12227242-12228482,12233907-12234882,12242998-12244004,12290493-12292404,12297554-12300792,12327946-12330045,12374413-12376190,12380322-12381556,12381568-12385725,12396569-12398319,12402043-12403039,12403559-12405906,12449205-12451077,12452063-12453865,12476770-12478100,12495768-12497187,12507785-12512554,12514536-12515785,12517270-12518588,12555695-12560360,12564083-12565176,12577406-12581573,12596529-12597992,12598050-12601623,12619524-12620980,12637033-12638588,12654959-12656452,12657189-12658735,12691380-12692505,12692670-12694085,12696253-12698116,12731170-12733335,12740063-12741376,12751152-12752445,12753506-12760389,12765258-12803107,12803183-12809250,12810210-12813111,12818302-12830287,12830306-12839582,12847970-12849663,12863721-12866170,12871173-12872304,12877698-12878800,12906179-12907305,12927190-12931785,12940063-12941643,12960313-12961403,12981157-12982311,12983168-12984650,12988176-12989343,12998011-12999054,13008738-13012632,13013037-13014615,13022139-13023950,13065314-13066734,13078668-13079777,13082095-13087056,13107602-13112438,13123207-13124793,13148302-13149765,13158348-13159832,13162868-13164317,13211377-13213400,13222073-13223189,13227111-13228353,13228777-13230099,13230834-13236255,13253190-13254469,13254659-13255868,13283712-13284744,13284754-13285784,13287390-13288836,13292855-13295759,13297694-13299136,13301522-13303516,13306000-13310359,13310661-13312615,13329662-13331537,13331970-13333301,13386508-13389295,13405956-13407442,13409779-13414109,13416403-13417618,13421567-13424523,13433546-13434725,13436434-13438440,13493788-13495197,13516632-13517682,13517692-13518794,13518808-13520563,13535725-13543813,13550286-13558380,13570679-13571954,13582242-13583533,13583554-13584997,13585030-13586478,13586911-13588200,13593071-13597646,13597659-13599656,13634422-13636039,13640589-13643090,13648994-13650502,13650575-13653605,13667703-13669266,13713129-13714589,13730270-13731560,13746518-13747818,13761409-13765723,13779963-13781895,13782174-13784212,13796499-13801460,13802094-13803807,13803961-13807588,13813838-13815211,13823919-13824957,13825161-13828484,13838043-13839341,13850846-13851940,13852560-13853829,13860597-13862248,13867394-13869260,13870902-13872872,13877990-13879053,13901999-13904965,13909237-13910795,13912834-13914989,13915141-13917380,13926433-13939496,13947033-13948204,13961692-13962751,13974034-13975645,13975656-13977166,13977827-13979027,13979127-13980174,13980762-13981810,13996547-13997950,14020200-14023160,14028512-14029742,14044835-14045933,14056416-14058034,14064225-14065959,14067025-14068249,14102096-14105790,14114481-14117396,14119309-14120665,14141250-14142506,14154953-14156035,14175345-14177101,14186004-14188116,14193127-14194815,14210648-14212675,14220499-14222161,14222475-14225657,14235749-14239642,14255818-14261082,14268895-14270470,14270521-14273951,14282738-14284175,14285917-14287089,14288635-14295606,14340517-14343685,14343873-14429490,14450629-14462231,14462265-14465427,14466071-14478725,14478905-14481120,14481138-14484052,14501424-14504290,14588818-14590067,14664773-14669653,14803986-14818326,14831878-14859910,14860128-14863149,14864080-14887503,14894369-14896069,14896107-14910377,14910421-14919622,14919671-14920719,14922531-14923931,14998849-15003607,15006010-15008124,15008665-15009704,15053546-15055342,15055650-15056841,15079452-15081691,15088468-15090489,15093414-15094492,15095790-15100116,15100795-15103227,15103632-15106333,15107318-15109930,15110181-15138070,15138835-15140736,15140739-15142862,15143336-15145414,15147463-15149071,15159534-15166430,15168573-15178941,15193258-15198444,15198446-15199706,15199742-15200923,15201627-15203236,15206899-15209312,15215966-15322827,15322975-15326099,15326917-15345854,15346403-15347615,15348027-15396127,15396188-15411044,15412726-15413833,15438173-15440916,15441603-15443612,15445239-15452263,15452265-15453959,15454303-15455487,15522492-15524076,15532928-15533982,15546796-15548453,15552001-15557521,15557526-15561951,15589000-15594102,15596511-15598833,15610250-15615952,15618072-15619783,15632941-15634476,15651110-15653985,15656203-15665047,15673887-15676251,15680583-15681781,15683788-15684958,15700521-15703708,15720446-15724627,15727768-15730096,15730252-15731513,15731703-15733482,15736031-15742307,15757237-15759278,15763344-15765663,15765914-15768468,15815241-15816321,15847599-15851071,15851254-15852729,15901578-15902764,15913404-15914548,15941353-15943468,15945636-15947057,15958323-15959488,15965044-15966271,15969355-15970577,15988830-15992714,15995680-16003949,16006001-16007070,16008017-16009308,16011125-16012582,16020713-16021935,16022174-16025546,16031072-16032735,16032882-16034408,16043463-16045309,16045349-16050047,16055755-16058562,16091484-16093161,16094180-16095286,16095369-16096348,16096359-16097404,16097443-16099369,16099430-16104813,16143613-16145473,16146440-16147169,16185640-16188966,16206348-16208710,16209342-16211536,16213797-16227774,16232654-16234097,16234259-16235916,16269162-16272339,16284350-16296261,16296289-16307255,16321536-16324363,16339523-16342944,16354812-16355890,16356971-16358411,16358620-16359899,16414911-16416254,16419891-16421178,16424253-16425539,16436500-16437500,16455232-16457610,16457836-16460140,16471979-16473013,16475212-16476983,16494267-16497983,16504990-16506468,16506476-16507554,16531127-16532548,16539128-16541319,16542435-16545034,16545297-16546933,16644509-16645527,16656072-16657592,16669359-16670431,16670507-16671878,16671902-16674292,16676218-16685177,16690117-16699069,16716155-16718954,16724236-16726969,16757498-16758565,16826381-16827652,16840607-16844614,16910291-16911477,16923648-16924714,16953918-16957546,16990174-16991645,16995063-16996665,17005535-17006631,17104027-17105241,17117247-17119109,17136432-17143799,17151788-17152904,17158088-17159144,17160042-17161150,17172380-17173382,17173397-17175962,17180853-17182009,17183735-17185212,17185247-17186281,17193191-17195096,17195276-17197178,17206318-17207464,17255665-17263137,17263153-17265289,17301773-17302930,17304386-17305505,17312513-17313963,17315548-17316590,17316600-17317631,17341888-17342927,17354214-17355480,17358622-17359903,17379570-17380661,17402307-17403529,17410891-17413044,17414229-17415473,17424396-17426576,17432300-17434398,17457708-17464080,17466916-17473363,17486630-17488016,17491582-17494789,17496736-17498139,17508088-17510000,17515061-17518156,17528667-17533331,17534347-17536038,17540471-17550058,17563890-17565099,17579465-17581307,17581948-17583080,17583870-17585553,17587230-17588263,17594680-17596161,17598468-17599874,17624840-17627407,17644256-17645346,17645439-17646840,17717429-17718690,17728272-17729476,17784673-17786544,17793323-17794732,17799464-17800734,17802775-17804007,17819916-17821162,17837898-17838922,17875863-17877250,17918472-17919848,17925822-17926907,17967614-17968783,17996178-17997195,17999176-18000193,18012105-18013158,18024681-18025757,18068814-18071083,18084964-18086767,18197866-18199622,18199640-18201448,18201484-18203350,18203366-18205397,18205401-18207003,18216539-18217780,18262909-18263967,18279512-18280910,18305966-18307086,18318645-18319955,18396258-18398019,18408152-18409345,18453098-18454155,18470291-18471749,18484652-18486645,18488129-18489568,18489729-18493566,18518253-18519918,18566602-18567727,18567777-18569508,18586061-18589139,18602524-18603625,18615008-18616560,18624953-18626277,18640659-18641904,18666645-18667788,18673964-18675296,18719237-18721105,18724100-18725984,18743206-18744501,18751651-18752795,18767078-18769123,18772772-18774386,18821289-18823258,18823892-18826637,18827510-18828522,18833288-18835007,18835527-18838000,18844311-18846368,18870562-18872578,18910665-18912190,18912420-18914218,18914902-18916075,18922295-18923314,18948449-18949993,18953593-18954775,18962096-18963204,18966879-18968183,18969145-18971193,19011560-19013328,19025022-19026827,19028702-19029821,19045579-19046817,19064871-19066588,19087234-19090440,19091023-19093687,19094720-19096418,19098584-19099644,19107455-19109581,19110642-19112688,19113387-19114607,19122358-19124691,19145625-19147077,19156232-19157563,19195176-19197285,19200152-19201375,19201934-19203235,19205187-19206419,19222153-19223223,19238309-19239394,19243015-19246085,19246878-19248159,19252954-19254022,19254834-19255982,19259109-19260706,19264312-19265916,19270192-19271538,19274801-19276158,19290734-19292781,19317169-19319415,19345929-19347107,19350421-19351601,19359003-19360345,19365115-19366460,19386545-19387801,19388399-19389506,19420963-19423239,19444750-19445905,19450718-19451861,19456058-19457446,19507713-19508745,19521405-19522720,19531199-19536531,19537022-19539695,19539797-19541077,19541533-19546851,19547557-19550219,19550362-19551647,19583935-19586095,19610849-19612499,19613484-19614681,19621243-19622809,19624625-19626026,19631362-19632449,19654462-19655604,19705856-19706885,19716074-19717720,19720657-19721712,19722452-19723871,19732798-19736573,19750330-19752717,19756024-19758411,19784171-19786677,19850262-19851344,19880706-19881912,19884239-19886124,19898321-19901200,19903898-19905714,19907288-19908564,19910400-19911660,19913353-19914715,19936122-19941020,19946727-19951616,19959400-19961551,19963047-19963989,19967175-19969222,20009109-20010207,20011708-20012733,20032545-20033692,20048632-20050026,20057052-20058164,20065927-20066954,20074221-20075252,20076670-20077673,20110166-20135295,20143269-20144801,20154382-20155494,20158689-20159775,20189917-20191625,20200673-20201695,20202139-20204053,20212218-20213759,20243533-20244655,20247400-20248396,20260472-20262035,20264900-20267261,20270408-20272180,20312859-20315931,20318427-20319504,20346885-20348268,20372340-20373378,20377911-20379398,20389465-20390504,20401974-20403010,20433529-20434558,20465454-20467036,20468535-20469998,20500439-20501864,20548957-20549965,20570040-20572264,20624862-20626083,20681160-20682456,20686617-20687834,20692603-20694130,20698339-20699790,20707564-20708774,20717170-20718675,20754840-20755969,20758284-20759979,20779884-20783293,20791822-20793093,20800474-20802535,20823645-20826633,20837097-20838788,20841829-20843837,20879891-20884714,20884823-20892561,20901368-20902496,20915172-20916951,20938869-20940732,20940763-20943330,20944031-20945884,20968270-20970687,20985320-20986427,20987934-20992806,20995380-21000573,21002197-21004426,21005027-21006136,21056365-21057758,21061754-21063202,21098475-21099784,21254022-21255933,21264089-21265153,21268449-21289812,21291148-21308831,21384208-21385479,21389678-21390941,21398906-21402088,21409331-21410913,21415244-21416937,21437445-21438953,21439277-21440789,21441560-21442841,21456443-21457504,21472895-21474326,21483808-21485060,21497050-21498413,21510602-21511710,21543285-21544349,21546957-21548017,21555331-21556597,21581869-21583187,21583601-21584781,21585373-21586551,21608859-21610464,21624083-21625168,21691182-21693940,21696704-21699232,21701804-21704400,21711542-21713057,21729721-21731350,21754361-21755613,21756003-21758626,21760798-21762912,21765397-21849315,21849959-21852974,21854455-21856722,21879499-21880601,21884517-21885754,21907100-21908158,21925522-21926667,21945297-21946616,21947674-21948950,22007984-22009628,22034720-22035733,22036007-22037201,22045203-22046262,22059083-22060478,22060733-22062137,22118899-22120543,22155947-22157962,22160461-22161754,22168996-22170885,22175342-22176582,22178569-22180073,22193251-22194775,22218877-22220740,22221724-22223911,22226910-22228146,22229103-22231059,22238789-22240720,22240901-22242341,22246294-22247399,22254385-22255690,22259109-22260400,22292257-22293985,22295656-22297357,22302375-22304041,22311799-22313028,22314431-22315613,22334762-22336743,22354834-22355961,22357009-22358073,22358085-22359222,22360811-22362078,22415163-22416242,22501760-22504066,22504365-22506488,22534911-22536123,22536695-22537993,22551330-22554627,22555593-22560769,22607676-22610080,22610188-22612109,22613307-22616097,22643635-22645142,22646674-22647698,22647906-22649405,22650729-22651762,22654650-22656014,22656485-22657757,22659483-22660558,22660569-22661948,22662081-22663635,22664622-22668041,22669180-22672565,22673135-22677227,22678148-22679187,22681415-22684455,22685149-22688311,22689744-22693055,22702498-22703631,22704881-22706245,22706346-22708025,22788952-22790388,22793381-22794652,22848205-22849638,22865333-22866404,22902370-22903592,22904693-22905971,22908137-22909420,22911409-22912699,22912708-22914221,22920775-22923934,22924445-22926171,22946140-22947658,22948489-22950145,22957848-22959485,22962288-22964830,22970218-22971549,22991951-22994053,23000317-23001656,23007344-23008792,23036560-23037994,23043123-23044243,23048000-23050045,23096114-23097845,23112970-23114512,23130049-23131376,23175417-23179232,23181545-23187533,23188572-23189705,23201909-23203482,23204752-23206691,23240579-23242933,23258255-23259419,23275390-23277162,23284053-23285602,23296130-23297256,23297792-23299202,23299250-23300951,23301597-23303447,23306668-23308600,23315918-23318061,23376745-23378166,23378604-23380607,23381114-23383141,23385313-23387064,23388868-23390655,23412842-23415095,23418131-23421594,23434669-23436006,23445543-23446751,23450517-23451764,23463113-23466400,23483472-23485394,23489642-23491520,23491546-23493426,23496010-23497776,23497961-23499248,23500548-23506484,23507472-23509392,23509598-23510646,23533408-23534498,23538116-23539218,23540999-23542042,23577294-23578323,23579840-23580942,23589078-23590220,23601290-23602737,23642487-23644493,23645947-23647976,23652232-23654676,23702893-23705515,23708139-23710123,23710131-23711402,23713603-23715374,23755421-23756508,23780709-23782126,23792355-23793357,23822912-23824139,23825557-23827145,23837583-23839336,23840922-23842720,23844911-23846836,23847714-23849611,23854023-23855260,23857197-23859173,23859407-23861272,23863541-23865357,23925228-23929058,23929248-23930314,23965148-23966158,23967013-23968432,23985150-23986325,23987263-23988440,24054211-24055458,24061130-24062179,24102743-24103802,24113282-24114863,24120863-24122514,24123704-24125394,24127505-24129152,24149985-24152320,24164545-24165694,24184032-24187880,24191468-24195349,24196480-24198138,24198479-24200501,24201430-24203291,24204456-24205573,24205996-24207852,24208175-24209172,24211933-24213492,24215566-24217169,24218487-24220161,24220245-24222150,24234701-24235973,24254464-24255866,24263718-24265229,24266385-24267797,24272962-24275826,24308649-24309882,24367457-24370412,24418862-24420250,24422768-24424054,24468545-24470418,24470449-24472336,24472804-24474620,24474660-24476530,24504624-24506356,24508543-24510419,24512502-24514403,24557282-24558570,24574262-24575372,24577714-24579135,24583627-24586965,24589224-24593039,24594063-24595215,24613030-24614782,24647211-24648258,24699672-24702645,24706314-24708991,24712865-24714599,24716099-24718109,24722960-24724527,24727334-24728675,24786719-24787827,24811130-24813023,24819555-24822263,24825428-24826477,24828532-24829795,24833574-24834807,24834894-24837836,24840761-24843639,24857377-24858718,24869367-24871196,24873249-24875181,24878842-24880130,24881378-24882623,24934029-24935493,24971901-24973172,24979314-24982024,24982048-24984539,24986058-24987078,24992825-24995610,24998806-25001626,25004128-25005418,25095887-25096895,25183024-25185608,25248203-25249378,25303722-25304928,25305051-25306528,25308993-25310173,25359801-25361439,25365931-25367596,25413171-25415731,25440178-25441378,25457103-25460257,25497942-25499323,25511520-25513641,25524830-25525907,25588112-25589539,25713685-25714709,25734446-25736313,25793546-25797458,25880508-25881544,25933083-25934881,25977505-25978617,25993412-25994966,26013157-26014593,26047372-26049198,26072520-26073556,26191639-26192965,26196310-26197343,26197400-26198480,26199535-26200608,26202163-26204204,26230326-26231361,26235922-26238784,26343542-26345181,26401081-26402115,26406245-26407399,26409860-26410904,26412687-26414343,26472103-26474084,26488736-26501161,26513019-26514810,26528991-26530623,26566645-26567754,26644794-26645965,26647305-26648548,26669391-26671254,26689000-26690094,26743185-26744403,26755923-26757561,26762280-26764486,26791215-26792390,26797232-26798864,26827419-26828512,26830619-26831889,26832343-26833678,26863845-26865065,26870874-26872288,26874038-26875193,26882027-26884054,26884060-26885170,26892186-26893627,26898138-26899520,26899996-26901473,26906798-26908958,26910418-26912556,26933343-26934539,27054420-27055499,27066776-27069379,27132621-27133978,27134815-27136260,27200015-27201478,27202440-27206303,27207230-27208983,27218874-27220980,27284365-27285567,27303332-27304697,27335845-27337094,27366907-27368752,27368774-27369960,27370315-27371492,27378065-27379200,27435224-27436266,27437122-27438733,27439079-27440138,27441477-27443555,27444612-27445880,27481759-27483461,27484488-27486663,27551456-27552641,27552937-27555570,27556366-27559004,27559613-27562392,27562754-27565517,27613387-27615047,27615051-27617259,27619548-27621316,27621504-27623685,27673847-27675053,27675551-27677333,27694198-27695215,27791583-27792818,27793386-27794673,27887796-27890069,27892408-27893787,27898128-27899637,27903383-27904759,27932606-27933670,27937274-27938313,27938453-27939516,27959965-27961221,27982877-27983900,28013429-28014885,28016153-28017589,28061667-28062915,28071544-28072967,28087621-28089363,28091110-28092811,28093055-28094238,28096774-28097926,28108834-28111649,28161039-28162322,28194290-28195511,28196968-28198140,28202166-28203353,28214439-28216360,28230482-28231945,28234438-28235603,28253867-28255150,28255535-28256925,28310924-28312632,28331672-28333824,28397505-28398713,28420027-28421668,28451397-28452418,28503848-28504991,28518230-28519414,28550607-28551622,28572836-28574484,28584864-28586035,28613556-28614667,28656941-28658524,28715388-28716893,28718408-28719868,28734870-28738490,28773866-28774879,28776405-28778412,28778447-28780480,28784404-28785939,28787545-28789040,28793230-28798806,28814448-28815893,28827392-28828605,28831474-28836363,28838442-28843101,28848633-28849878,28908723-28909993,28935919-28937498,28955376-28956961,28958139-28960141,28979139-28980777,28981544-28983200,28989658-28991104,28991116-28993219,28994872-28996334,28996346-28998550,29031470-29033380,29123884-29124918,29130551-29132010,29136031-29137428,29220659-29223208,29348386-29349570,29479511-29481825,29491062-29492223,29550125-29552130,29577782-29579451,29588177-29590765,29607829-29609005,29610103-29611152,29613121-29614465,29634399-29635739,29637139-29638479,29642075-29643466,29646177-29647569,29672141-29673526,29686004-29687053,29690700-29691762,29697673-29698719,29699028-29700075,29704208-29705223,29713534-29714983,29718200-29720352,29720608-29722437,29786435-29787593,29854187-29855692,29868031-29869517,29895547-29896628,29935317-29937113,29962931-29964193,29981781-29982784,30058415-30062417,30063263-30067253,30102221-30103549,30117995-30125381,30125494-30126996,30163286-30164701,30175927-30180473,30182073-30183262,30183849-30185795,30241762-30242821,30250997-30253099,30263617-30264884,30331870-30333836,30398583-30399891,30421581-30423548";
{
println!("step 1 create");
let start = Instant::now();
for _i in 1..101 {
IntSpan::from(r1);
IntSpan::from(r2);
}
let elapsed = start.elapsed();
println!(
"duration: {} s",
(elapsed.as_nanos() as f64) / 1000.0 / 1000.0 / 1000.0
);
}
{
println!("step 2 intersect");
let start = Instant::now();
for _i in 1..1001 {
let s1 = IntSpan::from(r1);
let s2 = IntSpan::from(r2);
s1.intersect(&s2);
}
let elapsed = start.elapsed();
println!(
"duration: {} s",
(elapsed.as_nanos() as f64) / 1000.0 / 1000.0 / 1000.0
);
}
{
println!("step 3 intersect runlist");
let start = Instant::now();
for _i in 1..1001 {
let s1 = IntSpan::from(r1);
let s2 = IntSpan::from(r2);
s1.intersect(&s2).to_string();
}
let elapsed = start.elapsed();
println!(
"duration: {} s",
(elapsed.as_nanos() as f64) / 1000.0 / 1000.0 / 1000.0
);
}
}
fn main() {
let args: Vec<String> = env::args().collect();
println!("{:?}", args);
run_file();
}