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 FF7 lLl ]/]HOLCF:threads=6elapsed=12.708cpu=40.692gc=2.668factor=3.207zXZִF! z]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0)-C cB3=-BC,ѢdC;YLӇɇ9S2]f b:@NWQ@!ДP]B·G$M!faelɺ/ax*"p' r15CĐ ɋ)ط *(?am/凭3G̖3<+vza[YWVVUQOkyڽt=ƹ޹X+CQ_G:c@σi[f/EDfyQ/6JSmN&R~tҫuNN$٭ VM?,`BFU5SmVbwX."WK?p?0UsI=3پ䥍}f ?jP.HM?)4egQ'8{>c!rLbbXeJ{ӎOlX2Gȅ'/V QJ+ *s"ݩ0_L"N t Ѓ"gUUnNPvzCϒEpP,,3gYZ7zXZִF! H]ŗXi%G1{ -~k鳹G 1n>ptݪl[sEǁ)8EmLAO[$ekXϟ$fJ27Јȅ`ߣYx`D}s&a0AtUYҜ׺__ՃҜM?nkF&hl=ε R҃K GKYC-ذGl@ZHJtOcL7rUU _=WG6yM"חȻ3fRY€mw}Eo@ԓ #mM9}sj<"BT|hh% P~Nqı.©(?`e%!JoBYɤ qҪ4S{n$ #7:/kO0;3㞱0Z yԀoT}k-sS|\y3:(S9`W9r)印||$y|õw >OBAxhJ3 K2a!FdOvEǼӔ)(/=B"EP "6?1= !2&S}ѩ/KORlbcM2~a]\vBUY_'"}LpS7dW5#J"RQmo%0'E^)xJ'O 5OMJpM-CQ&wa4$N+~oNr\/^?m'5T{ *WqU@4~2yLts)}4J376jOfHq.e:JlhQ (>%x($TMRJ:ȓoПԼ*]ZDWBo9gd?昅8MN{_<u.M-N%ytkkiR)r6ѡjS n5yG9%x@˂Mez$0$$' )074 ^vQ~Gi #_XI؊ oˈ!/ CPv;10ve[hlOK zO~tWn8#Z f  y##izb^A#(+=Zky#3*|[^ZK`ww8ÆpgO:FV7@)bro=M\&2Ԣ5s!mau<Ɗ",$ޮ2hr#Ⱥ;ѐNDu frW]K@[$Ofa|d4vZSѥV'{\Z40R\#e\@|L>s;h&ݟYl\~+h*%h8`"?ttzXEmu ё gYZ9202b3116c4e017d541ce381a5077be6711cc725ee652d79da3dfe2226e7998ba8d9b6c5b4062632 574a78dd5fb2862f217d3eedf94378929b3d0576a2ad745a13d3ad21f0513a25fa3e39ccaa29f3fe  HOLCF