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 W t<4 ]/]HOLCF:threads=6elapsed=12.534cpu=38.892gc=2.504factor=3.107zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֓%H &m+u)VqÕdQ`$t߱8IUkGã aG%I>£ަƉ7 U ̀J9Px\3<)m/:#Hn{0 &~\%Ux%_EWX9hH;|qD =chFPFc]KsS[/ X2EZU v0 t4>ac6m2 &|UZ;LD# \Bv[O=kD[PVZ1mDZڜά®m_H)FbD۵sRgm޿D~=K xHxY3gS6یs~"ۡ5ik*™2orXJGc N]c/by%{hӇɇ9S2]mOi.'N"sd~aI%oS;}\z~AABy@E?'N¯՗8/ׄ;O:SEZEf2^ucxSyIgyGY-p<%ϭdΔJo:r. ]dJ/Zv" PTwZnyv.t…Նn PWgGI3 6)UI4D&|dāW߽$o0FQqa1L5 BY{ȑ믭zһUtD /  eF'[l-;钰iO@diѫjz{,=d Wt0u+M31w-:gYZ7zXZִF! <Q]ŗXi%>mI9EKcmp!eUaň^SwBjs w/]U!h^ۓ:b?q+˴,.{U71l{EΟ;nr7"{:47k%Ҍ/Aׯ/0wKu?aH}`Pg"Z:〽y#GQOTbe~ε,!: }$i-ۊN8S\kvsap>ͅdovM+w0UB Ehb!E_U8y1}C@5\Y֑_"g1EؓL^;ʟ:lVH 6r( v=N *6dqtkObFZ"d|Ll?jѳ ɡH\3B7 Y! UVt#&3O}jHtO*8:fj Y~xmABt^,5Ֆcee 0{]/Zj ֲ 䲸1¨byC?NH֋5uxkvlևb&+oSoML%/ ىI7`[\ )>5꼜CO'\wto!¶ AttJ|-(ڄfe2VKp=ylIxҤ삑Fhp.]B ^eil%3ZvA)}=䑫v̘@@W|)]NQnO$ֵНAFzF AL-:pyIgYZ9c233695ddd25d82dffd02cacc77eaf3584aed46f446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7ee3bc4060141426b86909b62ff823b2cb1272c8ff  HOLCF