SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 |4t ]/]HOLCF:threads=6elapsed=11.706cpu=37.076gc=1.972factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֓ƒJ-+q*HbкJ#[he]Զa SQ㡷K;?gB ɱp>=bhe8ްm:^Q_ϹBy g3|d,BiIOw )V)fڅ^S;JyD.uaKD舃ͣY=be(P`SGiʹ)8X@w C!Mm0}S'l Tf7cB+Q ⃶3֓6g'yVw ;%̦IbTI6 "ꑩ%',HlXbv FC]L~~̏8+  ;!.pzɱTˆ(Td7E`Z6\6W'g׾UJ3Hk8[bP8õb٦-R O}2ֹ3q2L7ʐ ~h Xaܦ|)ֵ>ꬎ qKNMi_\_.憁(}c $`u.x+)qb `JSsMPz٨ hR)»vN`!M<6gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]XyNg4L}&ԕm.a|Z2u%kq4,]UƣϏ~3'? {pcNkFaE8xsgk58aAV,:io2YL]54 ;pD`.xD@_0!N3+@&WWM-NiBd;2f{2 Y<7DX9K I6hx1 NI#HR7և VM *@_fӿ*\Pr/ R}տ{<Si_(ݒzP殧8_&5raG\iSd0[5,uR$~'&K**wg-!]kZ#fKbFe`17wRȌ Q12&Fm_a1D۱W4kԫy@#:f^Xy7>E{ż駜qM\K!cf7fP*HzOZG"y!ոo^;h|wSpw1B;rp$,GY \fWgYZ7zXZִF! C]ŗXi%B+ߚ =P&!y0Vū}esAX>GIc9!RU+c 6LЎ[c#D.ԻǃokPxC H:QeSFBW\JB i?2GOOԓLGU-y<@fBMIַ4h>X;?dجמݨ_f[Ls)*"L2|Y"g&{T <ϋJTridX7ӯ RMǑHCƑd/GACYymڜ:Ȓ1^>([B ^MQI0\c{~9Plq7WgpVpy  111C{6D|elGM`_P$/~K Dɳy(;طvZGQ,MA0Ù})awed N2Mf# 0Dmx2xv36%wT*x _4!^-vN=Yjj/uW5A2ff+F3ItƬm-#k":CMm A~}H 0z=P% e8vIp ҥ1 NlW@L$dsU]hD˽>cyN\>RL50jR J.q|lp G8]~(%Iln ~g a E˨XgE뜁on{{ƩDXY+ &q`&Ǜ{տުڋ3vge.F8,o˳Eh'5|j&5DOj %XѮ3:ڂSdl<0o55)CzUr~Z3DYoDNOlt3(r lr%Hêljѝ'b{4}@XwwM8صsx zgYZ09f8efb162ae82e9cb826282b1033d30b1e6f75f381b0b6f5ce27306df5e53b57f6ec5e3417fdc9a 7c6d46e4371dddfd01328e9f87c81c7516f6eaf8b4104ee71f67d1c5dc6341f502840b722ab5fcae  HOLCF