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 W | m/ MiniML:threads=2elapsed=11.227cpu=17.300gc=0.516factor=1.547zXZִF! 9]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{SeS# Jj*)}YXJcdZ=d[(VK3v8M/(/h-!>Q>㛈,wa3u+E>k%L V~vZ,dzƫd@D \!!5+CU9J4]A=;^L\Xa,[wNZ_c1+J^Xu쎰ص&?#aWռ7r2o#(uSIg¢诞+M.G^{qr3؊A_ۛd3׾aȡKvQU dҍDx~XA X]ť8:tG{ʃ2՟] (|\)kv?Y0%Cv>.:6uh؁oWt m⸡~-B~$Y_ᣝ? zE@B =q6v"y|%g;q3":onJp[AkjI!aH,2*rFb4͗)c lTwIs#aø}N!N0v#+TpiP+Jڈ> 9?P`[yXVNzq4^[5YlqlXos&u/I3vdV*Z㾸Eo㊢ z0B+FuWOb$ȳrƥRWJd[e2O`: *i&_c$Hk<.x\>>V`b 6 d{u=VOrܨu/w>?V] GeGB;s~~MQ פz⸅,2m|E[ *HF7ǖVGy2Gj:!@i.V9*̆&ŏ/i .FʹUS§k֛Gg`u^oS+A sQygYZ7zXZִF! ?1]ŗXi% ΋ \ҡJ7a}~UF eR-vΞ@2{4h&G5!Oʟ`v 9Lkx f`NPNCshhǝU&EF[$oRgzSxʭt u ^jòrpu\ߍCS|XwV_IJ| ԪZNPPq.ȋJt##'* h΁"ĆIjVb)p:2CDW"wK>Rb .|~` U(2Cd}Px" fD"8wA q?JjGf̩#Y3Qy`ӓD2-% ] ՑGsde #! fXDT^7458(.Uɓ\ ª  H%bjeS8QSAr6T+]>sH5zX))ـN9͋$S|Pd'E[6c/#` :AG;qs5@"U@lp'