leak.ex

defmodule TstLeak do
  require Lager
  def prove_bug(filename,sep) do
    make_utl
    setup_mem
    Enum.reduce(make_stream(filename,sep),0,fn(s,count) ->
     list = Enum.to_list(s)
     print_if(50000,count)
     count + 1
    end)
  end
  def print_if(n,count) do
    if (:erlang.rem(count , n) == 0) do
      write_mem_stats
    end
  end
  def setup_mem do
	File.write!("mem2.txt","#{inspect Dict.keys(:erlang.memory)}\n")
	File.write!("mem2.txt","#{inspect Dict.values(:erlang.memory)}\n",[:append])
  end
  def write_mem_stats do
    File.write!("mem2.txt","#{inspect Dict.values(:erlang.memory)}\n",[:append])
  end

  def make_utl do
    case :ets.info(:utl) do
      :undefined ->
        Lager.info "creating :utl table"
        :ets.new(:utl,[:set,:named_table])
      info ->
        Lager.info "ETS exists self: #{inspect self}, #{inspect info}"
        pid = info["owner"]
        if (pid != self) do
          Lager.error "something bad happened with our pid"	
        end
    end
  end
  def make_stream(filename,sep) do
    fstream = File.stream!(filename,[:read, :utf8],:line)
    head = Enum.at(fstream,0) |> String.replace("\n","") |> String.split(sep)
    :ets.insert(:utl,{:head_count,Enum.count(head)})
    :ets.insert(:utl,{:head,head})
    fstream = Stream.drop(fstream,1)
    streams = Stream.map(fstream,fn(line) ->
      String.replace(line,"\n","") |> 
      String.split(sep)
    end)
    streams		
  end
  def makefile do
    File.write!("leak.txt","\n")
    Enum.each(1..11000000, fn(i) -> 
      File.write!("leak.txt","\n",[:append])	
    end)
  end
end

mem2.txt

:total, :processes, :processes_used, :system, :atom, :atom_used, :binary, :code, :ets
27161296, 5329616, 5327184, 21831680, 388601, 379668, 1012712, 11339513, 768952
27155328, 5288104, 5285976, 21867224, 388601, 379668, 1043272, 11342430, 770728
45300352, 14844256, 14844184, 30456096, 388601, 379668, 9632248, 11342430, 770728
81229688, 27058848, 27058368, 54170840, 388601, 379668, 33346912, 11342430, 770728
89172872, 37113680, 37113200, 52059192, 388601, 379668, 31235264, 11342430, 770728
160689376, 47614824, 47614344, 113074552, 388601, 379668, 92250504, 11342430, 770728
139538512, 54484072, 54483592, 85054440, 388601, 379668, 64230392, 11342430, 770728
125795592, 54739600, 54739120, 71055992, 388601, 379668, 50231944, 11342430, 770728
137731000, 89126536, 89126056, 48604464, 388601, 379668, 27780416, 11342430, 770728
112064488, 89126536, 89126056, 22937952, 388601, 379668, 2113904, 11342430, 770728
125814096, 89134440, 89133960, 36679656, 388601, 379668, 15855608, 11342430, 770728
178803536, 89126536, 89126056, 89677000, 388601, 379668, 68852952, 11342430, 770728
200887592, 99024336, 99023856, 101863256, 388601, 379668, 81039208, 11342430, 770728
142353688, 110915232, 110914752, 31438456, 388601, 379668, 10614408, 11342430, 770728
228855480, 125183600, 125183120, 103671880, 388601, 379668, 82847832, 11342430, 770728
238600200, 125175696, 125175216, 113424504, 388601, 379668, 92600456, 11342430, 770728
274833184, 125170392, 125169912, 149662792, 388601, 379668, 128838744, 11342430, 770728
172668296, 125175696, 125175216, 47492600, 388601, 379668, 26668552, 11342430, 770728
238488912, 125170392, 125169912, 113318520, 388601, 379668, 92494472, 11342430, 770728
207539080, 125170392, 125169912, 82368688, 388601, 379668, 61544640, 11342430, 770728
327958096, 142282952, 142282472, 185675144, 388601, 379668, 164851096, 11342430, 770728
186666216, 142285968, 142285488, 44380248, 388601, 379668, 23556200, 11342430, 770728
244962944, 142291272, 142290792, 102671672, 388601, 379668, 81847624, 11342430, 770728
340813504, 162821040, 162820560, 177992464, 388601, 379668, 157168536, 11342430, 770728
341118208, 187468432, 187467952, 153649776, 388601, 379668, 132825848, 11342430, 770728
256457792, 218132440, 218131960, 38325352, 388601, 379668, 17501304, 11342430, 770728
463125696, 218132440, 218131960, 244993256, 388601, 379668, 224169208, 11342430, 770728
669074016, 218132032, 218131960, 450941984, 388601, 379668, 430118016, 11342430, 770728
570455616, 365990280, 365989800, 204465336, 388601, 379668, 183641288, 11342430, 770728
774960944, 365984976, 365984496, 408975968, 388601, 379668, 388151920, 11342430, 770728
393156984, 365995168, 365994688, 27161816, 388601, 379668, 6337768, 11342430, 770728
603170880, 365989864, 365989384, 237181016, 388601, 379668, 216356968, 11342430, 770728
812468384, 365987264, 365986784, 446481120, 388601, 379668, 425657072, 11342430, 770728
553609776, 408563480, 408563000, 145046296, 388601, 379668, 124222248, 11342430, 770728
761471728, 408563480, 408563000, 352908248, 388601, 379668, 332084200, 11342430, 770728
968614568, 408563480, 408563000, 560051088, 388601, 379668, 539227040, 11342430, 770728
472447592, 408568784, 408568304, 63878808, 388601, 379668, 43054760, 11342430, 770728
678152168, 408568784, 408568304, 269583384, 388601, 379668, 248759336, 11342430, 770728
883137704, 408568784, 408568304, 474568920, 388601, 379668, 453744872, 11342430, 770728
474466696, 408568784, 408568304, 65897912, 388601, 379668, 45073864, 11342430, 770728
680521816, 408566496, 408566016, 271955320, 388601, 379668, 251131272, 11342430, 770728
890302104, 408571800, 408571320, 481730304, 388601, 379668, 460906256, 11342430, 770728
517718640, 408577104, 408576624, 109141536, 388601, 379668, 88317488, 11342430, 770728
726044824, 408566496, 408566016, 317478328, 388601, 379668, 296654280, 11342430, 770728
933662496, 408566496, 408566016, 525096000, 388601, 379668, 504271952, 11342430, 770728
632583616, 408571800, 408571320, 224011816, 388601, 379668, 203187888, 11342430, 770728
838763080, 408571800, 408571320, 430191280, 388601, 379668, 409367352, 11342430, 770728
560453392, 408571800, 408571320, 151881592, 388601, 379668, 131057544, 11342430, 770728
765189344, 408566496, 408566016, 356622848, 388601, 379668, 335798800, 11342430, 770728
535886384, 408571800, 408571320, 127314584, 388601, 379668, 106490536, 11342430, 770728
744058936, 408571800, 408571320, 335487136, 388601, 379668, 314663088, 11342430, 770728
543999960, 408571800, 408571320, 135428160, 388601, 379668, 114604112, 11342430, 770728
752806352, 408566496, 408566016, 344239856, 388601, 379668, 323415808, 11342430, 770728
597713488, 408571800, 408571320, 189141688, 388601, 379668, 168317640, 11342430, 770728
459010880, 408571800, 408571320, 50439080, 388601, 379668, 29615032, 11342430, 770728
665665296, 408571800, 408571320, 257093496, 388601, 379668, 236269448, 11342430, 770728
568357616, 408571800, 408571320, 159785816, 388601, 379668, 138961888, 11342430, 770728
484294768, 408566496, 408566016, 75728272, 388601, 379668, 54904224, 11342430, 770728
432818424, 408566496, 408566016, 24251928, 388601, 379668, 3427880, 11342430, 770728
636883288, 408571384, 408570904, 228311904, 388601, 379668, 207487856, 11342430, 770728
606882568, 408576688, 408576208, 198305880, 388601, 379668, 177481832, 11342430, 770728
596721336, 408571384, 408570904, 188149952, 388601, 379668, 167325904, 11342430, 770728
597642768, 408571384, 408570904, 189071384, 388601, 379668, 168247336, 11342430, 770728
454025136, 408571384, 408570904, 45453752, 388601, 379668, 24629704, 11342430, 770728
507967464, 408576688, 408576208, 99390776, 388601, 379668, 78566728, 11342430, 770728
618010640, 459669208, 459668728, 158341432, 388601, 379668, 137517384, 11342430, 770728
823706992, 459674512, 459674032, 364032480, 388601, 379668, 343208432, 11342430, 770728
650012648, 459666608, 459666128, 190346040, 388601, 379668, 169522112, 11342430, 770728
559744040, 520984000, 520983520, 38760040, 388601, 379668, 17935992, 11342430, 770728
765922016, 520987016, 520986536, 244935000, 388601, 379668, 224110952, 11342430, 770728
975683432, 520987016, 520986536, 454696416, 388601, 379668, 433872368, 11342430, 770728
568029120, 520987016, 520986536, 47042104, 388601, 379668, 26218056, 11342430, 770728
776352320, 520987016, 520986536, 255365304, 388601, 379668, 234541256, 11342430, 770728
983956424, 520987016, 520986536, 462969408, 388601, 379668, 442145360, 11342430, 770728
629543936, 520987016, 520986536, 108556920, 388601, 379668, 87732872, 11342430, 770728
835709824, 520987016, 520986536, 314722808, 388601, 379668, 293898760, 11342430, 770728
544081336, 520987016, 520986536, 23094320, 388601, 379668, 2270272, 11342430, 770728
748809016, 520987016, 520986536, 227822000, 388601, 379668, 206997952, 11342430, 770728
952817504, 520987016, 520986536, 431830488, 388601, 379668, 411006560, 11342430, 770728
685187104, 520991904, 520991424, 164195200, 388601, 379668, 143371152, 11342430, 770728
894704296, 520991904, 520991424, 373712392, 388601, 379668, 352888344, 11342430, 770728
691618680, 520991904, 520991424, 170626776, 388601, 379668, 149802728, 11342430, 770728
899697664, 520991904, 520991424, 378705760, 388601, 379668, 357881712, 11342430, 770728
703852312, 520991904, 520991424, 182860408, 388601, 379668, 162036360, 11342430, 770728
557729392, 520981296, 520980816, 36748096, 388601, 379668, 15924048, 11342430, 770728
763648456, 520978696, 520978216, 242669760, 388601, 379668, 221845712, 11342430, 770728
632085976, 520984000, 520983520, 111101976, 388601, 379668, 90277928, 11342430, 770728
543055480, 520984000, 520983520, 22071480, 388601, 379668, 1247432, 11342430, 770728
747230536, 520981712, 520981232, 226248824, 388601, 379668, 205424776, 11342430, 770728
670689928, 520987016, 520986536, 149702912, 388601, 379668, 128878984, 11342430, 770728
703637536, 594567888, 594567408, 109069648, 388601, 379668, 88245600, 11342430, 770728
912186112, 594562584, 594562104, 317623528, 388601, 379668, 296799480, 11342430, 770728
1120026208, 594567888, 594567408, 525458320, 388601, 379668, 504634272, 11342430, 770728
715465488, 594567888, 594567408, 120897600, 388601, 379668, 100073552, 11342430, 770728
921862120, 594567888, 594567408, 327294232, 388601, 379668, 306470184, 11342430, 770728
1127539568, 594567888, 594567408, 532971680, 388601, 379668, 512147632, 11342430, 770728
798712032, 594562584, 594562104, 204149448, 388601, 379668, 183325400, 11342430, 770728
1002951272, 594562584, 594562104, 408388688, 388601, 379668, 387564640, 11342430, 770728
714054856, 594567472, 594566992, 119487384, 388601, 379668, 98663336, 11342430, 770728
923802696, 594567472, 594566992, 329235224, 388601, 379668, 308411176, 11342430, 770728
745338080, 640973744, 640973264, 104364336, 388601, 379668, 83540408, 11342430, 770728
953647832, 640973744, 640973264, 312674088, 388601, 379668, 291850040, 11342430, 770728
1161227448, 640962824, 640962344, 520264624, 388601, 379668, 499440576, 11342430, 770728
1106656792, 1008873232, 1008872752, 97783560, 388601, 379668, 76959512, 11342430, 770728
1312809152, 1008873232, 1008872752, 303935920, 388601, 379668, 283111872, 11342430, 770728
1518242408, 1008873232, 1008872752, 509369176, 388601, 379668, 488545128, 11342430, 770728
1722956584, 1008873232, 1008872752, 714083352, 388601, 379668, 693259304, 11342430, 770728
1926951608, 1008873232, 1008872752, 918078376, 388601, 379668, 897254328, 11342430, 770728
2135364032, 1008878120, 1008877640, 1126485912, 388601, 379668, 1105661864, 11342430, 770728
2344867664, 1008878120, 1008877640, 1335989544, 388601, 379668, 1315165496, 11342430, 770728
1216689928, 1008867512, 1008867032, 207822416, 388601, 379668, 186998368, 11342430, 770728
1424760048, 1008872408, 1008872336, 415887640, 388601, 379668, 395063792, 11342430, 770728
1632101720, 1008867512, 1008867032, 623234208, 388601, 379668, 602410160, 11342430, 770728
1838734240, 1008872816, 1008872336, 829861424, 388601, 379668, 809037376, 11342430, 770728
2044642352, 1008872816, 1008872336, 1035769536, 388601, 379668, 1014945488, 11342430, 770728
1070222920, 1008872816, 1008872336, 61350104, 388601, 379668, 40526056, 11342430, 770728
1274692824, 1008872816, 1008872336, 265820008, 388601, 379668, 244995960, 11342430, 770728
1478982072, 1008867200, 1008866720, 470114872, 388601, 379668, 449290824, 11342430, 770728
1688958296, 1008864912, 1008864432, 680093384, 388601, 379668, 659269336, 11342430, 770728
1898217704, 1008864912, 1008864432, 889352792, 388601, 379668, 868528744, 11342430, 770728
2106761024, 1008867928, 1008867448, 1097893096, 388601, 379668, 1077069048, 11342430, 770728
1222713416, 1008867928, 1008867448, 213845488, 388601, 379668, 193021440, 11342430, 770728
1429815392, 1008867928, 1008867448, 420947464, 388601, 379668, 400123536, 11342430, 770728
1636203840, 1008873232, 1008872752, 627330608, 388601, 379668, 606506560, 11342430, 770728
1841862424, 1008867928, 1008867448, 832994496, 388601, 379668, 812170448, 11342430, 770728
1079867792, 1008867928, 1008867448, 70999864, 388601, 379668, 50175816, 11342430, 770728
1284093480, 1008867928, 1008867448, 275225552, 388601, 379668, 254401504, 11342430, 770728
1490508304, 1008872816, 1008872336, 481635488, 388601, 379668, 460811440, 11342430, 770728
1700253200, 1008883424, 1008882944, 691369776, 388601, 379668, 670545728, 11342430, 770728
1909257824, 1008872816, 1008872336, 900385008, 388601, 379668, 879560960, 11342430, 770728
1190407592, 1008872816, 1008872336, 181534776, 388601, 379668, 160710728, 11342430, 770728
1397984568, 1008872816, 1008872336, 389111752, 388601, 379668, 368287704, 11342430, 770728
1604847744, 1008878120, 1008877640, 595969624, 388601, 379668, 575145576, 11342430, 770728
1810975792, 1008867512, 1008867032, 802108280, 388601, 379668, 781284352, 11342430, 770728
1207083296, 1008872816, 1008872336, 198210480, 388601, 379668, 177386432, 11342430, 770728
1411778552, 1008867512, 1008867032, 402911040, 388601, 379668, 382086992, 11342430, 770728
1615765368, 1008872816, 1008872336, 606892552, 388601, 379668, 586068504, 11342430, 770728
1044570576, 1008859608, 1008859128, 35710968, 388601, 379668, 14886920, 11342430, 770728
1254068960, 1008867928, 1008867448, 245201032, 388601, 379668, 224376984, 11342430, 770728
1462834616, 1008862624, 1008862144, 453971992, 388601, 379668, 433147944, 11342430, 770728
1670891776, 1008867928, 1008867448, 662023848, 388601, 379668, 641199800, 11342430, 770728
1325311864, 1136010368, 1136009888, 189301496, 388601, 379668, 168477448, 11342430, 770728
1531930816, 1136015672, 1136015192, 395915144, 388601, 379668, 375091096, 11342430, 770728
1737825360, 1136015672, 1136015192, 601809688, 388601, 379668, 580985640, 11342430, 770728
1943000680, 1136015672, 1136015192, 806985008, 388601, 379668, 786161080, 11342430, 770728
2147457136, 1136015672, 1136015192, 1011441464, 388601, 379668, 990617416, 11342430, 770728
2351874392, 1136020560, 1136020080, 1215853832, 388601, 379668, 1195029784, 11342430, 770728
1267063424, 1136020560, 1136020080, 131042864, 388601, 379668, 110218816, 11342430, 770728
1476309264, 1136020560, 1136020080, 340288704, 388601, 379668, 319464656, 11342430, 770728
1684836000, 1136020560, 1136020080, 548815440, 388601, 379668, 527991392, 11342430, 770728
1892643656, 1136020560, 1136020080, 756623096, 388601, 379668, 735799048, 11342430, 770728
2099732200, 1136020560, 1136020080, 963711640, 388601, 379668, 942887592, 11342430, 770728
1165941576, 1136020560, 1136020080, 29921016, 388601, 379668, 9096968, 11342430, 770728
1371591912, 1136020560, 1136020080, 235571352, 388601, 379668, 214747304, 11342430, 770728
1576523128, 1136020560, 1136020080, 440502568, 388601, 379668, 419678520, 11342430, 770728
1780727216, 1136012656, 1136012176, 644714560, 388601, 379668, 623890632, 11342430, 770728
1987257792, 1136015672, 1136015192, 851242120, 388601, 379668, 830418072, 11342430, 770728
2196978512, 1136015672, 1136015192, 1060962840, 388601, 379668, 1040138792, 11342430, 770728
1342755528, 1136015672, 1136015192, 206739856, 388601, 379668, 185915808, 11342430, 770728
1551038072, 1136015672, 1136015192, 415022400, 388601, 379668, 394198352, 11342430, 770728
1758601504, 1136015672, 1136015192, 622585832, 388601, 379668, 601761784, 11342430, 770728
1965445808, 1136015672, 1136015192, 829430136, 388601, 379668, 808606088, 11342430, 770728
1387969960, 1288587664, 1288587184, 99382296, 388601, 379668, 78558248, 11342430, 770728
1593381424, 1288592968, 1288592488, 304788456, 388601, 379668, 283964408, 11342430, 770728
1798063136, 1288587664, 1288587184, 509475472, 388601, 379668, 488651424, 11342430, 770728
2002036360, 1288592968, 1288592488, 713443392, 388601, 379668, 692619344, 11342430, 770728
2210683696, 1288597856, 1288597376, 922085840, 388601, 379668, 901261912, 11342430, 770728
2420160312, 1288597856, 1288597376, 1131562456, 388601, 379668, 1110738408, 11342430, 770728
2628912400, 1288592552, 1288592072, 1340319848, 388601, 379668, 1319495800, 11342430, 770728
2836956016, 1288597856, 1288597376, 1548358160, 388601, 379668, 1527534112, 11342430, 770728
1372354496, 1288592552, 1288592072, 83761944, 388601, 379668, 62937896, 11342430, 770728
1578954576, 1288592552, 1288592072, 290362024, 388601, 379668, 269537976, 11342430, 770728
1784840880, 1288597856, 1288597376, 496243024, 388601, 379668, 475418976, 11342430, 770728
1989994848, 1288589952, 1288589472, 701404896, 388601, 379668, 680580848, 11342430, 770728
2194437616, 1288589952, 1288589472, 905847664, 388601, 379668, 885023616, 11342430, 770728
2398970568, 1288592968, 1288592488, 1110377600, 388601, 379668, 1089553552, 11342430, 770728
2608921944, 1288592968, 1288592488, 1320328976, 388601, 379668, 1299504928, 11342430, 770728
1542438880, 1471685720, 1471685240, 70753160, 388601, 379668, 49929232, 11342430, 770728
1750952168, 1471685720, 1471685240, 279266448, 388601, 379668, 258442400, 11342430, 770728
1958746232, 1471685720, 1471685240, 487060512, 388601, 379668, 466236464, 11342430, 770728
2165821192, 1471685720, 1471685240, 694135472, 388601, 379668, 673311424, 11342430, 770728
2372177048, 1471685720, 1471685240, 900491328, 388601, 379668, 879667280, 11342430, 770728
2577813800, 1471685720, 1471685240, 1106128080, 388601, 379668, 1085304032, 11342430, 770728
2782731448, 1471685720, 1471685240, 1311045728, 388601, 379668, 1290221680, 11342430, 770728
2986930008, 1471685720, 1471685240, 1515244288, 388601, 379668, 1494420240, 11342430, 770728
3193574536, 1471685304, 1471684824, 1721889232, 388601, 379668, 1701065184, 11342430, 770728
3403286992, 1471690608, 1471690128, 1931596384, 388601, 379668, 1910772336, 11342430, 770728
3612275048, 1471690608, 1471690128, 2140584440, 388601, 379668, 2119760392, 11342430, 770728
1515881920, 1471690608, 1471690128, 44191312, 388601, 379668, 23367384, 11342430, 770728
1723431936, 1471690608, 1471690128, 251741328, 388601, 379668, 230917280, 11342430, 770728
1930254808, 1471682704, 1471682224, 458572104, 388601, 379668, 437748056, 11342430, 770728
2136366480, 1471682704, 1471682224, 664683776, 388601, 379668, 643859728, 11342430, 770728
2341764312, 1471688008, 1471687528, 870076304, 388601, 379668, 849252256, 11342430, 770728
2546443040, 1471693312, 1471692832, 1074749728, 388601, 379668, 1053925680, 11342430, 770728
2750386752, 1471682704, 1471682224, 1278704048, 388601, 379668, 1257880000, 11342430, 770728
2959149832, 1471685720, 1471685240, 1487464112, 388601, 379668, 1466640064, 11342430, 770728
3168607456, 1471680416, 1471679936, 1696927040, 388601, 379668, 1676102992, 11342430, 770728
3377356624, 1471685720, 1471685240, 1905670904, 388601, 379668, 1884846856, 11342430, 770728
1800182760, 1691397024, 1691396544, 108785736, 388601, 379668, 87961688, 11342430, 770728
2007482952, 1691391720, 1691391240, 316091232, 388601, 379668, 295267304, 11342430, 770728
2214074912, 1691397024, 1691396544, 522677888, 388601, 379668, 501853840, 11342430, 770728
2419937016, 1691391720, 1691391240, 728545296, 388601, 379668, 707721248, 11342430, 770728
2625085320, 1691391720, 1691391240, 933693600, 388601, 379668, 912869552, 11342430, 770728
2829514520, 1691391720, 1691391240, 1138122800, 388601, 379668, 1117298752, 11342430, 770728
3034172088, 1691401912, 1691401432, 1342770176, 388601, 379668, 1321946128, 11342430, 770728
3244109928, 1691401912, 1691401432, 1552708016, 388601, 379668, 1531883968, 11342430, 770728
3453328672, 1691401912, 1691401432, 1761926760, 388601, 379668, 1741102712, 11342430, 770728
3661828312, 1691401912, 1691401432, 1970426400, 388601, 379668, 1949602352, 11342430, 770728
3869600904, 1691394008, 1691393528, 2178206896, 388601, 379668, 2157382848, 11342430, 770728
4076662296, 1691394008, 1691393528, 2385268288, 388601, 379668, 2364444240, 11342430, 770728
4282999160, 1691388704, 1691388224, 2591610456, 388601, 379668, 2570786528, 11342430, 770728
4488627816, 1691394008, 1691393528, 2797233808, 388601, 379668, 2776409760, 11342430, 770728
4693542520, 1691404616, 1691404136, 3002137904, 388601, 379668, 2981313856, 11342430, 770728
2146295024, 1955052880, 1955052400, 191242144, 388601, 379668, 170418096, 11342430, 770728
2353060488, 1955055896, 1955055416, 398004592, 388601, 379668, 377180544, 11342430, 770728
2562754072, 1955055896, 1955055416, 607698176, 388601, 379668, 586874128, 11342430, 770728
2771728552, 1955055896, 1955055416, 816672656, 388601, 379668, 795848608, 11342430, 770728
2979983928, 1955055896, 1955055416, 1024928032, 388601, 379668, 1004103984, 11342430, 770728
3187520200, 1955055896, 1955055416, 1232464304, 388601, 379668, 1211640256, 11342430, 770728
3394337400, 1955055896, 1955055416, 1439281504, 388601, 379668, 1418457456, 11342430, 770728
3600435520, 1955055896, 1955055416, 1645379624, 388601, 379668, 1624555576, 11342430, 770728