SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ::C l,$ ]/]HOLCF:threads=2elapsed=18.403cpu=36.336gc=2.560factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J^?@0^xB0yg u#Ӽц(M$Z]NXvAE/uX>#ܶJ 8Ä,h-AOT!ʅgkC &{ hS(' \S@.gpoE}*.XhZ:vMP>B\k.q쫬S1 @ڵ6.%X>_ͷ]^R5WpoSnB ' knN_"'zȓ]-/SqÞ䋊 j傑vi^OYo\4 }U"zGیOuDSҴg $Š'#eX(%rU ,&xM`G|Ψ](2s:IVK\xZZ݄ƀMel4AdqZ,ȗe!-gYZ7zXZִF! M]ŗXiɟ1˦r~KunύNN{m`>N^EAG;_S] cJ&۱P's- `=ㆊD󎘻3Ϲ쐈N {r'4t'u-*nPP5=aی-u p|]9.}9UF|$\&4sff|􅔊SPYXc6ϧ|R$NEH 0 ndȚA^LJ5B= 1REJ9;O5-⼌$׮ckkfG`CsgYZ7zXZִF! q ]ŗXi%;34Q>. upW>[7!Tsm)'OkF.TP5Ļhb/df#8d&7k|{d|1ğ$2] :"e /Ns ,]W?eUGqxo@_eY`L28Ho_NODXnB PB Y@U(ѵ;K瓖5+hƒj&j}t4ZIA@jL"]]Lˉq A2B+"v FvcBr,:j V]>W4. ٶ\frq%}3pjzvRB+KG 6zJ\x(Ky^v6frOڂ5ܳKX#G$?k<<ŅKO3Y.5eyPRnF4O)lPC pM}Մ%.aQf7):㖖ljn=ߠB" kB9z"#|x-4Ǎ3 ^mEC( J^TDG1ʯ姟_*ls$#Z-A=Ye[I *mPa( Q yѐ% 4k#gM)طҔAfրO v.i͂iK?C)`1kH[ӷW[H_^~yw?[Gp kƽ##a9b8uV׼%pMgOF5`ȸ=K3mqsW)VFA,ww(0Q1wȍۻnoh8jK- :|4췱P-OARxhVamlX}G,"섂!ɱYo8睛4Oʾ덣$I"V0ꚖY7  a~ԮBflz=5H }^fq@UPmy;;1PLߓzu桗ɹ ˝Y$^kBSĢ֝ Ьs״V}*t,gLg`Ufh=72sCD76M }âHK{׭V,gZE5q,&]qgQI^Y(Lcgmq01C9 :-cW&l@% TfZQ뀤`tOzFqz[cBOW(Obt2Boo;a~X&+@_z#akcWKhi[G DDO} _89Hm `rS}qW gt1qڦ]fxsI <ⱂF EiK]f /?Rc $gYZ24da6aa735584af7db6eb11248d0ca07c2a7554261532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5670ca3b0c6f16e44de7227000c0ef63afe050894  HOLCF