SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ]+ tD I/ Binomial-Queues:threads=2elapsed=6.372cpu=11.352gc=0.492factor=1.787zXZִF! D]ŗXf1-/6vRZkc- R0vPP OA50is|ba RQ; Q.'dթNe]mg-&5R)X֗*a0ѕˆ/y-1?d}| _Mt6XZ e:ť i'j/.40ys-L#-927cvrUӝ61= =G%Bn0^/-r u?5mѯةTOvoK*)ٹlvJ>NHu"l]}ZAPȌHT{յƎFw>fnwue\y*ƤV\ XlߌPW"5:mRT|5o$ j2n46b=KQ#a!=<)s%[CknA!з&Z5QiuvFj~}Q98*gچ3oI"یb]Ddo:n,bC7*$i.FbAѠ RVĬPr!'cuQqB7P "VDc-g(L51VmoL*h yw]QETv]&  m]xA~+76|kйg*$bwzj=SKԨZK|0t [Py$h+߁oډ6ࡼd,,y/L6lh|KHۼ.|hRcPDJ2zyuBʼnD|O@aD-2QŃJ/;AкQB%CQx;hwృ0``%?H:`ךp:C/g,ŻWP>Gf 5\p>4 -" GpšԫZڶ#J"!0I~Q1' c'vI]m"Ϛ.Z#ӊ<.bo2D 1=|3xcԩ8=[;[T\l|!*/-b敦bN3%'ן}v-X>PTetS"[][Bc| N &}~IuX7+j w] !]G3LLeCLI"$Ga\P| aeqÒ%0zN_#ic> I* V ƱgYZ7zXZִF! ']ŗXi%gvCz/5/Z#pJ'忏Y^;B<?=eoy:u縃9%fߧo)ٕ^=:J6eFa0_(NBu H]&ŘD[ˇ #8āʳ;)˵1 !hηd|Vʕ+fw>HDaev\Qn!z7}>1S%N^æ P!R/_""KbKl$#QXϙ*,_ɚ (wcl ;$s{t;I#BS7 'nA^ϻP4;Tʹ"VFkt殨B; a -Jek( ;]&],>XW򠒷dGw;Y x -}C {;LRH!^Ip%xelG3c, pf"u2{jk^?KMZ pѤ%* 5vқHۏ)gyvBpW{ue}+X9s<~A ǵ` cg@zolh7 7OӺgYZ0ea5a344ff64d3f11a7bde39609f6be0f403880e 65c0f80769c300cd1a3da1c8badc964be8cc0ab9 7365a6d0da22d1676ac894f539799f1610b88c18 7bdabb0865258300c0a6596504bba56c7c7edc1d a97085f18e83107db9e38de7f772f74f077680a6 b33b9bd2604125086f6c35dcdbedb59ed184af59 d81829d116c813f0b97f449cc1da7b8637e9a273572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb + Binomial-Queues