SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 H' |T ]]HOLCF-Library:threads=2elapsed=16.244cpu=29.868gc=1.376factor=1.847zXZִF! U5]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&BOeGǿL5TXܢӲM ku(9(H:;WU>2i"s\aC1ok0R`u۴.!a i&*;/U1]U,NZDtwv nv&$_CԯNiEa '_ dY-Һܞ@Gjaoa*ӟpoh܅+gǏ(gy7azQ$Ç0L軜h<)?9<%i=R:8Ձ.[h޽I "N 4)U='⺼ i~CSI,EڞGJw}lz`V\蟍C0x7ŊcOR,^;"挓ߋ-9MywKh3eD]Pf"0<-_Js2,j%@ ?3a5%/t}9gYZ7zXZִF! 8b]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS1^0!ۺQĄ\ъ8:oQ3|GتJyr?y[$u6?ZcRL4J֜eTHo"Bh3ʬEjX3+`۝ /xkfv} &OiMfiYd[گpbA _cG%Ƕ4/J}؅0(aHLn.7x@2)_Z HzP@|}b'po޴FJtҏ0}n c{Z]|F ?(e  {gYZ7zXZִF! K6]ŗXi%96zV#w3$q?n.f+(ţV3rVj4+Ih;plAdFS)a*u|W*m6cݳr5i\"xE8o:l Ь(1|Qq8mgVeUplN,_ҕy [/^Pgysiv8ˠ̌@>5-DpiXyp9p #SyIzq%>]<.4l}6;/{z!Wd:4a}96\>W. EIJ5>D$fK{.YmVkrQ" ¹m9E~.nB.avE2O(DÖyQ t3 f zؚ_|pRe`8~!aFpGH~m䣌1Fk>KFli:tu&>$9QO(`}ŨnnM5 Ir8[9ge]Km8L"fJ˳Flɍ2CG8sfNz>ܔDA75ن7Z.j [vFI1mp}} y)Ynd%?Ƹ4+S"[$>hQD9QNH;pD=UypjȢE;q7d"ֶx{[][ F9ny5;f 4S b/A6FaD<^;ZEI4Uf0ISz(uyNRZtY ` RUAewQ^T uHoMK=JXt(q_a r)ۤ@#6>}Z2 ^2^] =fɱYp%&VD"xiQHQxy,麑ŗdv'l(pi6-=嬮7J'Cpjg@R;B]ưCKŮ I:C%N|sU|/M5'Ǒ";Ik-O.ÜEPSEr86 )vL[$69/_ }n HQgYZb7af596de9c249befe2e86c86845d0df83f412e4ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d d31a005361b48528fcecf80177a5bc26de0a8b5029de64e85d699a878191c29ec5d5fd256a5654dd ' HOLCF-Library