SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  <$ O HOLCF-ex:threads=2elapsed=19.948cpu=36.496gc=1.568factor=1.837zXZִF! ৛ ]ŗXf1-qNe)zjD_~ƭQ-'QVM.|K$"(ă_6dZ,]exkF:sPSZITet(>rPv dgZL@Ǘm={.ɉZ L[ BVhn|`_Bl8o>^21Jkn="%x CރN:یRY`wqH̔6QKEtPԍء   HOLCF-exh$x!k]A6 o{Հ{=8MSo &u)h7$t(db܍sCduqthP}(srJ@*poM]d8#@1VbYIĎs15۽/RIg?Pvp)VeYֿKƑS,{yj7lHGpW`c&5Ƥ-_M5}0. ñf$h^G%t*o2S6@SfvS#.j5j>4X9 (%nN%Q,0 a5,  }*C'W )$5Ƚ<|s4#8CDSc| ~M-BBjnjl%/ vڶݕtyͮi򐉘,&ͮ`Y* I,qwOӶ^s]Ndޑ.񱤗`痉JAT`"GXYۮ(=ε=0R82@r7aFuo.EF kmZcQpip8L#Cr'mԓ~ 5^pFoeU7p3 f;ʆ/ؗ)V6?pSk;ig|tjv`T p\EuI[-IS5(r 3BzuqgkmiYcys|h#(:C-䟹Q\Ö=t^yI;y'87|+Cʴ3ָp(W)L()MM:ԏ 4M|-e[A#[}" hgR=cDe ϣѩщ-Hw<>Ŕ6!-W&g_}}Yr"5Z_L':eh׹;B O˦k!AFliLdumxvp$Is2 ꗘׯV|^:&lC{!frQ99#&_: !u9tXuNa]ݷ(qiQ#!dpgYZ7zXZִF! ^ L]ŗXi%HW<00fh&=I*7w0׉>#w*uy6Eo8Ѳ?'1j|VUŎ"3c E32~G0u16y3}{ge/(OoB5[ۻ9Hd;^aG*2Z4Q5z;8  n.S~ݿ('ܪ"~_̞2mb}ۈݕ.)ǰaPޟЫ],SM,:3ldš׫`qR%S"|9KG&n_Ȋ}D^Aӄp|qtZoD-=(6Duc9;tr!}1jczwƺ3SrI98U\$5%e/$WxMBaz _ 4$F@l JTtJXr$p!yۣfNz4^L^\|k=:cugIW !çNv w #&6G z<$^Yole0uA׌ Y@!Lj 8p0K$zUѾX'~+Tk