From: Laurent MAZET <laurent.mazet@thalesgroup.com>
Date: Mon, 8 Dec 2025 09:30:07 +0000 (+0100)
Subject: day 5
X-Git-Url: https://secure.softndesign.org/git/?a=commitdiff_plain;h=fc809a23d36b52bd536e0312fbca8cab9fa75c69;p=aoc25.git

day 5
---

diff --git a/day-5.awk b/day-5.awk
new file mode 100644
index 0000000..be7af6d
--- /dev/null
+++ b/day-5.awk
@@ -0,0 +1,31 @@
+#!/usr/bin/awk -f
+
+BEGIN {
+	FS = "-"
+	min["1"] = 0
+	max["1"] = 0
+	n = 0
+	fresh = 0
+}
+
+!/^[0-9-]*$/ {
+	print "error line", NR, $0
+}
+
+NF == 2 {
+	min[n] = $1
+	max[n++] = $2
+}
+
+NF == 1 {
+	for (i = 0; i < n; i++) {
+		if ((min[i] <= $1) && ($1 <= max[i])) {
+			fresh++;
+			break
+		}
+	}
+}
+
+END {
+	print "fresh", fresh
+}
diff --git a/day-5.txt b/day-5.txt
new file mode 100644
index 0000000..9c28901
--- /dev/null
+++ b/day-5.txt
@@ -0,0 +1,1188 @@
+484155089502467-484512074248320
+327626855857871-327839020372374
+537199009780696-541029389615243
+324153507327596-324355964932738
+173465989350447-174041788222911
+272663544666906-272663544666906
+152868490671419-154360265852862
+334565314570930-336048544225520
+106674076603254-107536478616833
+363046535191057-365733424846852
+143852691024200-149853768977406
+513247409695401-521804010955295
+330373417143016-330956155155726
+33228806536288-34781051094522
+104978535117550-105727571504542
+105727571504542-106382462636384
+480181317870752-481376655879090
+392619573203723-399658137237572
+507064558575642-510928211367973
+31269013157556-32964221268164
+70746675484895-79383949442561
+488384911502333-488739524722600
+245264863918656-248440699812419
+66108233250077-69763977702508
+158354044192140-159602837769606
+352968125118640-359903538807905
+177637503356342-177768248104438
+425225371783345-428185880910613
+337517774842228-338699568015001
+413116823808052-421482453687743
+324355964932738-324787726958767
+21031505924359-29336206500785
+178762017395739-179306786525152
+283124359892576-288153917955743
+104238754491838-104978535117550
+156665511220055-158040260496243
+338247146166164-339788754907221
+179536222619975-180228661508492
+474667184537974-475812255497205
+513247409695401-521804010955295
+106887900874655-107536478616833
+175392398092002-175732866298956
+526139005782144-526139005782144
+35410277445200-36916358845884
+164076435824111-169840064957070
+133425032733176-139934998714644
+490674555618697-490885111740712
+179786208538406-180553730844907
+302346553875535-307433027610821
+179974705855165-180553730844907
+535002393179139-538558642399142
+44042155826769-48485113111141
+213624552370199-219348371651378
+172619324074780-172877499427963
+94528043269341-98873034317961
+205261145714311-209868219379161
+184779217941336-186667644665468
+322101662480758-322234504977633
+262039770461003-262039770461003
+41875022229570-45906391518435
+123353799692990-123353799692990
+472616439285348-474000437648419
+164076435824111-169840064957070
+177768248104438-177966938826842
+171117176820731-171869292146532
+547332612003149-547332612003149
+37424193557969-39105929131744
+101571946459934-102315599870875
+494764112303360-500892212366204
+215878956252212-219348371651378
+332071647060451-333275653431219
+172223413862387-172619324074780
+343059617550421-349658206244594
+32398106302077-33821920045244
+62268552683460-69763977702508
+479178474644199-480641496160741
+103399160626151-103679584369887
+526139005782145-530329158936682
+477382678085753-478659206508893
+352968125118640-352968125118640
+252193370768120-260075547729033
+503954701580-6201080066693
+6201080066694-7139048210272
+491761166450629-491902594324657
+324983512198420-325884415693302
+316494299906814-320522086960363
+467509841566778-471811317565211
+154583318057153-156059831409040
+307433027610822-309166768178612
+241735356768237-245264863918655
+106189609258943-106887900874655
+113184461842736-113184461842736
+157309114531452-158807509412759
+405794282692748-410151465111344
+322562853182400-323349337173519
+329392752538402-329600089281791
+416454584217619-418657627464396
+476445154558831-477740195072234
+52321883454900-57264044440557
+285940653177318-290122783606908
+139934998714644-139934998714644
+104238754491838-104978535117550
+435069087551255-438068571490810
+106674076603254-106887900874655
+494764112303360-498339466050479
+488384911502333-488739524722600
+433395071188269-441714193170789
+483173469016124-483876364342976
+382952029544932-382952029544932
+272663544666907-278898829344501
+30517568996683-31934161587780
+446467331372924-449790867859745
+480957198725802-482308516753345
+340216156305507-341718829614154
+335576964661675-337073420302056
+171269045448034-171869292146532
+322234504977633-322838357184566
+328299411279389-329144168796675
+36486032858102-37779434330475
+482564738939348-483424624675311
+329843762496517-330062103963728
+343059617550421-346964428300776
+141909036863330-147391313413681
+327247289135445-327839020372374
+10922455590682-18048485396100
+339273504804747-340626526043886
+453340687216566-461539243082300
+24552273221200-26517533186483
+374979031812261-378129333728028
+510928211367974-510928211367974
+478218077956627-479645063914504
+174041788222911-174346031234314
+559173122141199-562097848259759
+113184461842737-118169846892007
+382952029544933-390301071864488
+81543407926368-84497261070632
+105408705742278-106024442272978
+491531238739012-491902594324657
+428185880910613-428185880910613
+260075547729034-260075547729034
+313883655354623-320522086960363
+174041788222911-174346031234314
+191717416530192-199687058207157
+336507649028291-337969660720965
+153577994966155-155092017715908
+103183231617090-103399160626151
+70746675484895-76153416335407
+57264044440558-57264044440558
+332803389475321-334388906138526
+171269045448034-171869292146532
+38316177713166-40091262905581
+84497261070634-87512083133515
+106189609258943-106674076603254
+378129333728029-378129333728029
+547332612003149-548435610366690
+410151465111344-410151465111344
+486966262648163-487773819017583
+464168729967780-467509841566777
+173265729856132-173465989350447
+155722135599830-156927657943610
+473459660138827-475150269845108
+333858227074656-335312735045959
+487773819017583-488249317523391
+330373417143016-330623658555129
+94528043269341-98873034317961
+392619573203723-399658137237572
+203106437735893-205261145714309
+232703951471611-239341944463919
+172223413862387-173033171008712
+182821432918211-190283971945510
+151130743713884-152260090603062
+475285443653571-476657816081333
+199687058207157-199687058207157
+221829521326154-229542350570658
+159395463557657-160782166956609
+179306786525152-179786208538406
+174041788222911-174805432404479
+262039770461003-269736060293387
+554841339364567-559173122141197
+123353799692990-128560306281572
+444809669679604-449790867859745
+101831951224850-102162268389164
+365733424846854-370976617474324
+34440576402312-36063022673365
+152001032352489-153287102386040
+292589544764606-298318988515383
+232703951471611-234901660011328
+
+465648994325263
+485726374948528
+475690590637294
+196300608673016
+325500055841075
+200391175665352
+17944830705256
+319006389890415
+151008315208808
+330762627717238
+540107358809277
+56579943828298
+304827419309353
+218793968762758
+558979672005912
+463149947708692
+207132310251074
+27688126629980
+410787718804716
+266815787492858
+349549957351422
+453161293260865
+440124194013821
+224935111486614
+458189929672612
+222354803951091
+385496645295297
+159737743445676
+435085730350147
+339049336984817
+108289691196866
+63269002874293
+6685408969929
+560711096442918
+447842282857842
+384258392057600
+418317339187012
+526232998972781
+318185626019900
+173954241244574
+76885713250977
+138953839992455
+38446781284879
+2993091307541
+89328498019533
+287583058061187
+253388687193171
+65815885278170
+143667792195956
+56993769071203
+158687367691714
+315658700075614
+158128483336434
+222191777973717
+272622212776187
+545192047362089
+376186038765117
+242947268747893
+471085877835535
+129965216056599
+207778752587957
+252471880342054
+262906375116580
+534224313922897
+413878652736777
+197035964264903
+279549224671724
+44153866205768
+25490437132400
+456047749271344
+460454825298853
+269978250340095
+25320286312005
+273115319581907
+150161800308438
+110871266684605
+319420592547997
+345738432687570
+305793320149559
+148713889489739
+499294517093216
+31226367130878
+172612656724594
+430075577395089
+539700736071107
+248490622736321
+357783308268551
+265119880018962
+231291290345527
+226150538134399
+510440855670848
+557968955261200
+366753606894739
+548046875564109
+487949898298134
+508297681301651
+85813530184312
+26085582228207
+248098174814414
+74638591550079
+308178419048394
+95835736571751
+275218649532607
+394868159876364
+10285869395759
+465200373669687
+286750097376153
+420455004515755
+338547854534866
+348720612223320
+12958774971518
+245763283083902
+332351236310594
+276158906164860
+59042749656947
+451943792959362
+330391629603314
+48157493287167
+398240465941344
+414801973326926
+378550285283921
+22163595467061
+480779429139335
+556351665029871
+559638909723239
+347211750008710
+324727023947861
+177948083905540
+62813318066679
+339398092073741
+400934619177864
+86790992465901
+15852914116516
+154253986279527
+42345202069561
+107418220431964
+327726786214697
+479901768278245
+490972852957601
+501860254654435
+187476104076465
+515234099215970
+105613677798811
+76576992517982
+63602685134794
+370446294064094
+125293600622010
+348624405047279
+229414892467206
+550111725377520
+253601022800835
+246015599038208
+26716224090075
+106628682325906
+149367265754691
+344227585534865
+414436225034212
+373044568770668
+508032292480710
+538747633140176
+239129875011217
+267903056026239
+269079461276087
+390868090347716
+138622100881942
+38844613237894
+322994927085853
+454018508978606
+311534498907291
+329122626881814
+180970002094700
+376068250617145
+177634058757307
+490881830234258
+7017946450359
+410609014613452
+358602206782982
+230210485077799
+166311033674041
+254871960396830
+479583246001450
+418333891442833
+13018415298209
+110436931200781
+377848248759981
+37055407062199
+395771536090537
+285625857320076
+457071547846483
+454462175815748
+243572281764729
+493838152934481
+136306603477083
+272965132772929
+359523134895474
+218062604316076
+196080099320404
+62242223744221
+147151311756565
+146316101931905
+146976702862809
+510395092805891
+131718330043246
+449648193586388
+435829963434261
+440625359718663
+365172596783271
+540396006775329
+234779165152900
+264534238804314
+66806025266187
+275069701001412
+366062798029719
+244456093804383
+527700086323868
+166529351298605
+362955521436431
+482919085310378
+283257341505810
+153232880696306
+394552242781153
+343768049178508
+333950895480298
+551853617580089
+143677863519490
+74060167453409
+456310322303431
+134025061222202
+408728099607080
+34573640312491
+193928098114300
+490066275814021
+86303373869837
+245645106780938
+52636102151296
+297258182795550
+278363025356332
+119956165401884
+39912089231581
+427018367648629
+487183658692128
+223315477094328
+517175429318316
+68881075516914
+33094051437104
+388410883822250
+531869844960512
+256328382826175
+175275083136438
+83289029741724
+465763280963667
+31646298618953
+333168648755117
+366242861943763
+75156722777953
+508265614839503
+98796946465642
+559020601116488
+5467108109577
+105366513196271
+164428413619744
+83151142391341
+185014262064857
+497629158286618
+31153262748994
+298043610770489
+283925378412319
+28694803075972
+455906018804610
+151868806777935
+363620235563789
+36347910669144
+196354303370134
+388483018172112
+360582809724943
+232150072570533
+96237634389515
+505851323146100
+168577897920329
+268532747533171
+414271786676737
+510738155126151
+42288604743357
+464845452560036
+350521576763663
+2790553607883
+286601432695738
+68581668330233
+497747478353430
+488060165737320
+210394112436035
+531938419333390
+235733370183364
+499411335343391
+406594297115866
+534179913427567
+141237867072244
+518890750016543
+25086593475095
+276643782014667
+103653487570393
+33747448093872
+85394611729114
+180863610744209
+230621930891177
+65398129849574
+106310501531592
+105863422604792
+378489487582599
+331387514827061
+6561622918944
+432933925759374
+499456656539730
+222338928476450
+394316775471077
+306705011159801
+517178697140196
+148102225673100
+55116866718253
+301492363170310
+424350017261844
+104156598979714
+6368571580028
+145394106705778
+517700100504249
+455652082476752
+421442262713380
+373884444959820
+420923707716902
+529939677020279
+263306921865810
+415279461779662
+158195109422211
+554221248253924
+193383508459957
+217823095636530
+441869358121903
+286873626157484
+34675944352140
+274323027667503
+264311656855279
+387673053556249
+82868052293172
+316511965956741
+151612982915105
+425826466685883
+491238761663825
+350486059871862
+413513421497176
+236567477096492
+408896153104255
+467470679972033
+164704456622599
+63685936847397
+390979670666774
+474928971607942
+135026465304050
+359056540419958
+66745809311184
+126018096549244
+305062744049016
+194071199277840
+501509723548996
+476827185200581
+275626747234735
+430013005023040
+518410150791484
+72131242700198
+340383414749962
+477665601493098
+535561806427643
+407555137195755
+217291279819907
+557986608664834
+16142893632580
+182124459880116
+404140756484309
+296110516420275
+171643098351907
+486931627408613
+207113534380670
+524077154282500
+228864907023232
+383365617894903
+70103795249694
+50512979173728
+397605945336496
+26013092471759
+395241421268710
+465334300964440
+261858369021755
+527684923283476
+427630216321229
+198238026697491
+457457910251150
+401506984329048
+349178450263450
+546647139996296
+184462947778898
+306367401529528
+539563594059532
+39345489728847
+103010746227197
+98116787456608
+386846358756692
+104610778208354
+26576694008613
+156565542157075
+192084240612390
+259556465772815
+15904195560740
+236132852584233
+434644090364311
+99881487051684
+426905232171523
+522034565059278
+314506139726295
+299499714003961
+183820232806506
+206850974659307
+135663766665821
+102089365540214
+425945138241774
+414725338716582
+84837001135774
+226352656640955
+288721160221131
+116097857625794
+468257741655738
+349131393125042
+97858344250848
+475522348864872
+472826892261099
+69455870488880
+131805399737993
+216094584070180
+58455712847916
+366711602802177
+357054615859808
+78357619210085
+152990852088797
+342524073993073
+450043621091613
+201845269573400
+142430583159100
+556503021827212
+85161652291815
+290058445580149
+178728724583453
+418131998829096
+427697703225770
+25904543179754
+105297352146790
+418123737779902
+383678551854912
+468730983371397
+124787414786575
+308383651669639
+53248099552727
+171498826192589
+376406135890811
+445258595316244
+263231728643009
+324208810777119
+388583324784949
+458331277070896
+148031092492796
+382018948513853
+136077295163143
+308555646984109
+14614285259270
+461653649248830
+158318118603163
+435013238520636
+326150076739969
+475399121253465
+156106959019712
+208688809717157
+29842605290273
+202268072059860
+282993801201526
+153365611642795
+540921552967436
+320960886502819
+469707792686103
+105242779432445
+479012505415829
+118156584567709
+70836294505690
+528644756078017
+102749524223928
+343794580364717
+556579065871742
+38122311901867
+312016631085668
+505198292111546
+144563040821956
+406991234444632
+160317680143063
+350140714964482
+66925480163405
+232902001009144
+536755664481759
+21196120357836
+173665364262475
+5420853189190
+101147507820255
+284293797695935
+461399398995401
+464546187321105
+541878525900454
+279404587265427
+550800427007755
+235673928376398
+452515441844173
+509555045565249
+481221087162142
+415796518011797
+555464484523481
+245486050836754
+1312729187484
+461351154425133
+446085579349094
+539735263671492
+324308812517461
+267452870204054
+179862138942359
+87063631074434
+77676965428230
+47495874689531
+83250190393567
+287503596941017
+396444990457477
+124519706839242
+157839982935656
+495062791439310
+154512214075405
+208785614070698
+418534616900849
+487111934977198
+116686672775696
+17278207794169
+297792271040321
+545485324397541
+26910544487003
+227986077033638
+331470468561325
+396739005101185
+420261747916524
+60882138247537
+314400885398908
+507321940974182
+479607363750629
+274028634022721
+290214480779409
+255150656469724
+406333418726889
+209633642668851
+82851650413018
+174415875855808
+347647962998358
+142865843659110
+346951844710054
+145296662557462
+370773076584528
+126214747850220
+547652353458667
+1023351263968
+169755175398654
+518599429906635
+33846742681732
+168672976381620
+224753538745291
+484122613844692
+204986873429997
+548186280004784
+151971816872087
+2413001123517
+215217411624094
+252715157090472
+246882536494029
+314841111397180
+45576108912322
+274774894152420
+364637463845199
+158997318823023
+467729730148300
+364161875382173
+27548860861942
+118010407564078
+153109272880074
+341236750027155
+548263482896529
+354565236617873
+426774118014985
+203943800062495
+364485490818434
+347129355238045
+389282748200872
+402591881455477
+37109245860638
+322524359738963
+23352577264101
+60112554654836
+99069004043586
+335518138579949
+557705378914003
+332954879797108
+159249252478289
+192303686883130
+84311997851419
+323811763014534
+397881987568871
+41263853930161
+314204432093487
+94630391383561
+125537195647648
+455484220609279
+275106701648714
+161582427450661
+136613479485433
+196012947779387
+498418367271002
+343934545259218
+2109961804682
+225347192591111
+187751534783876
+62432768102721
+90240593769245
+243347328031763
+180262096694629
+400611561547347
+68580731244073
+448857492874889
+162511353947722
+174067633194412
+174454835018391
+6733952033973
+512566408826733
+196428147016599
+173987768218259
+438425145431191
+98795447051414
+562151356355741
+511061394152804
+464834443408759
+258839398859279
+63647412759537
+500359969724673
+414674931688430
+486342755507303
+383495876744797
+247959228222071
+478395383849061
+335314989684365
+401680212074279
+54662260419310
+195575312971134
+329701660363513
+557203258155487
+303934913812278
+549196383540217
+316558010658840
+388894303598071
+508495705576650
+365382037848947
+434160208706186
+490719268527649
+22757508593407
+74173060080537
+394529116580444
+198579420316664
+218648394504284
+250844719945739
+519177115726079
+210995283950867
+478926704240966
+322125338086841
+222231141633906
+24243547233806
+475228412705872
+538016030134645
+539685388009141
+112200167208259
+34998189396523
+242034427621752
+481097694329618
+162102242581143
+171163156509241
+417698127705874
+289327511951933
+150231091159121
+86318216985599
+212157894516578
+211034711980000
+352280810580118
+215902883235127
+501602712242483
+275284982144704
+228519292815627
+255308739610203
+388103293212389
+11062160873834
+211605059954128
+409504977518037
+166887900685401
+269906845954803
+242809833732335
+70542864360841
+29246218481549
+28171334842885
+408392861262973
+25987925230493
+69690389331629
+64881435704887
+538200095965370
+464951259269603
+62530051010143
+481562836269822
+275588779592943
+121462168598953
+294262042995506
+362773254065101
+185452277418500
+253776377158625
+553020845442987
+450981282843183
+482825359338299
+92951712090079
+401789488969013
+82691587449395
+460547332437770
+550369009765200
+204765006219353
+383424935026763
+411451885278109
+544768399768969
+354106107278808
+351814733606870
+345205736531054
+553990438058685
+234530753617837
+142037700543505
+166205529744183
+282574350096660
+349310470286847
+461168096150528
+174088527209052
+273407649865353
+560772075847388
+373669265382428
+527940044219641
+526220055349415
+61333301482305
+277381088312766
+398653996346101
+537358286465034
+420041777878728
+190904884792541
+414135951466143
+307427122957800
+175496838477939
+224045469192409
+396641535383079
+12932297615290
+29305595689889
+320494881948653
+35634989953013
+463400091256918
+364308441200109
+287733984223493
+286312417663097
+14476535040100
+72345157790618
+467979218411243
+398300177864406
+509810162779476
+86494614774768
+337887243617068
+183004315538293
+301315508280444
+32819467122530
+364101460589897
+272127482531487
+14661880480118
+558085063855258
+477774912319456
+149379002920977
+182144611410986
+261364167690385
+297193844543228
+368675600885719
+217918407064700
+250917765917926
+485979592516414
+27419266468566
+281119855989076
+53342876607506
+168385081690418
+68071599924640
+295085841498947
+433634500661453
+98210283393150
+417925823041044
+118046126998437
+125931519008518
+54101783039771
+296563685725698
+125385974251141
+140596318930571
+297613888680909
+556556247766534
+77556654164724
+520726672992536
+527962296094224
+314838704938152
+104567359857678
+229378218651487
+535163096560007
+421878548905206
+22292022004456
+226694762920368
+325433562224972
+350927689838638
+68747614466057
+278288373610990
+123329215731971
+127638721913602
+262467205139544
+439437567436922
+33169828276782
+365819063105421
+107419826143114
+159492842181615
+245826906772378
+33701292015819
+111130590303550
+143267425161404
+88518370001945
+99709748831684
+507144340395665
+17005295074631
+394597409724205
+456109774133764
+220266796928414
+194337113829451
+168376744056032
+196324880604945
+316303815900806
+260225614006305
+126676005306073
+287800426485627
+296010450965831
+452327757155989
+386915979105242
+12884154162742
+178299434462745
+289780425057671
+524692852474367
+8049748421905
+287512776418562
+497495353423812
+356953912190227
+105152422060130
+75715726194756
+449471922988083
+178960727226775
+16506135862435
+380008863901350
+484802537945341
+487269642070212
+257689206088793
+437162197656802
+167690406405337
+295131584027702
+423128589715610
+247857337979598
+447294653683025
+528754659447288
+197150348372392
+85527781232882
+325643026875656
+85416649290624
+343351960079471
+222144605855719
+95242848385552
+418257702534682
+479749851030221
+439327119253406
+216007727430876
+159556006351623
+285136231800700
+266346349408836
+213204893467649
+132329408393058
+167396552278400
+13430771760342
+272999234705345
+2181291406670
+354267124354129
+3915477000394
+275667302930232
+355703471654279
+171573697499122
+476108734602434
+250333255771422
+284187391074728
+542883247228251
+268388512130581
+348724909067450
+560982897255963
+82425178945262
+36793327303651
+472679026025886
+533185603352637
+440862633593872
+314693292941017
+377142702705622
+146391068281354
+436927110770106
+195928939466611
+464708458561253
+534281577040719
+112247600527291
+76450436291102
+297995326049950
+13894251352689
+124192647936767
+459599244668614
+283615760282882
+431457068564814
+514669417032595
+393253024342883
+303594090232073
+216329092129347
+451781660318266
+538732013128567
+51394498892905
+97563862042322
+555360678665621
+77125009216030
+6152085147952
+479065478792799
+106892288326794
+425624436244334
+364781708077558
+23520178833448
+52848164391780
+216773473113383
+64529056817782
+366397062395405
+533542103965367
+506373117858768
+204343504228015
+126207040767367
+245758805851139
+255365791457351
+403718281368516
+431078684518872
+136406177504001
+14152106004280
+481612673665150
+5255589275675
+556247473776668
+146648767168484
+534052369132154
+255694301437722
+174802115600729
+85420697896041
+9915837268881
+356870117868642
+312389014496808
+526053044616034
+368205286083856
+216240149607142
+204496240924157
+533836527185372
+376000060036219
+552828975199029
+53503756659340
+185432188845668
+524669951477891
+455840130412128
+5212891951706
+442635246848462
+459658055857457
+163443771410584
+12527116890639
+344961051023748
+117138982479414
+198297242149820
+283663699949587
+424555341493375
+435688311529195
+342348741243927
+38933572204739
+554703298864698
+395433357795370
+93543372994982
+495748168198728
diff --git a/day-5_test.txt b/day-5_test.txt
new file mode 100644
index 0000000..2e9078d
--- /dev/null
+++ b/day-5_test.txt
@@ -0,0 +1,11 @@
+3-5
+10-14
+16-20
+12-18
+
+1
+5
+8
+11
+17
+32
diff --git a/day-5b.awk b/day-5b.awk
new file mode 100644
index 0000000..d48880c
--- /dev/null
+++ b/day-5b.awk
@@ -0,0 +1,61 @@
+#!/usr/bin/awk -f
+
+BEGIN {
+	FS = "-"
+	min["1"] = 0
+	max["1"] = 0
+	n = 0
+	fresh = 0
+}
+
+!/^[0-9-]*$/ {
+	print "error line", NR, $0
+}
+
+NF == 2 {
+	do {
+		cont = 0
+		for (i = 0; i < n; i++) {
+			if ((min[i] <= $1) && ($1 <= max[i])) {
+				$1 = max[i] + 1
+				cont = 1
+			}
+		}
+		for (i = 0; i < n; i++) {
+			if ((min[i] <= $2) && ($2 <= max[i])) {
+				$2 = min[i] - 1
+				cont = 1
+			}
+		}
+	} while (cont == 1)
+
+	if ($1 <= $2) {
+		for (i = 0; i < n; i++) {
+			if (($1 <= min[i]) && (max[i] <= $2)) {
+				min[i] = max[i] = 0
+			}
+		}
+
+		min[n] = $1
+		max[n++] = $2
+	}
+}
+
+NF == 1 {
+	for (i = 0; i < n; i++) {
+		if ((min[i] <= $1) && ($1 <= max[i])) {
+			fresh++;
+			break
+		}
+	}
+}
+
+END {
+	print "fresh", fresh
+	total = 0
+	for (i = 0; i < n; i++) {
+		#print i, min[i], max[i]
+		if (max[i]) total += max[i] - min[i] + 1
+	}
+	print "total", total
+}