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 ^^ T ]/]HOLCF:threads=6elapsed=14.220cpu=39.088gc=2.016factor=2.757zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV̴POn1Ĉ$Òg[w Ij3MnRj))b/HgJLnwUEGml}20bJțDEz* ݝ~XZ'X{YDuoO$X?1"V߯*;&R>K=jm9k3 39=4S]ͩw\|g j$W~t&^'?'yd,Sع0;t`B<|Gɒ|O>R[bw"E+8gayb`_Iz4sDI_wEgn&9ƀ8tQ7_<(Ӈɇ9S2]ʇ٬BQ^m{xD6B0QXT*1YQ:U~^Hm^vrr3?ָ}JU}# w qL'poN+4@x^w+P\P#KN!n`jE&SLY+[HlDFqzy~ɇW.S SŔQC%6@t^ y#|,~ qlq  IeVGF!ĞCl/+@hSxg^7/6,!,ƵqLj,Tݏ=ڢrA:tȔ5Z\gC, wlc!cE5m*oAϓp'jCGٳS{PɀH>u:ߟNۚLLLמk#9IÌX20euyp}&K:m@w:GꛄQb6f_Ig4Q録9V]~*ju{>X7%\۳OICA #ךWEQ)x Ő|'oԾ)"/D)Y[v]VkIx;ʿTv<"? ]^I5m[c}r,ș!cbSD ЙI[p8X^m-\JH$@ܐ^7CHs A3؟ ~ G T٭2wE)NORtws2`Ӻ\O=dNw7N'Q~!oQNWR5:mSMcLD}ye-3֖홊O[: n$zև7P6U~Ff:I@}Fy5 1K lrUoKB!T W-<,,Y4SXAȮ%i],Xm'(t `rfqL&I8跅F?ڊZ_^8!x7GlU_szY5ҠG@=GvS6kXn KrXcݭzCS@`_+uvh^M0pM*2_ kP2e0,du#<tkȺT@[2@+xb 1[ʩ厩0/LNCC4GOZƞF8|1C *LlyzC>b2ڑ‡ Ov=݅ٵ]E2) QEis$c !BnVgYZ1c925b262902bc7d6d8b4fe2c094da35f1f69af50368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c4f057e3de61fba0fc1a08d19e6aa1c564f7e5920  HOLCF