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 F/ D$ ]% SDS_Impossibility:threads=2elapsed=59.437cpu=82.552gc=2.260factor=1.397zXZִF! +]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,1s0\2r6#V#=@-ADIՄUݵ: ~=<* :f&[ $4s?Imݕk} F5!HW{RQJ1!P].Q%:잏с?(,қ30Mx3} v(=8eg&/gWW=gk/tINl3٣Nxz6WV*$ǰ7ѿzf ry٫4Ifo_Aн\rB\t-Nճ CCyr=ؘ:B#Ǐv\R^Shd骪Ϭ^91=chqUQa21$Ԅ4)c' 13ַ/R.Q`jrY/W[ul'q}7v &g_};mD|YÁhFéibͣ6O'=+r}DRu JD1P*4F &aqV>lH :u4y:rM0v5WAw=/@~w1CXif u|^3ZFqξX!O(FnԈz "^%ɐ.P2Aj"_# "ZQhgx,M*{6@Sܦ!=㼬XDEBvqf i!)a xojaȎu2U /? QV@=}|ro#0R*XegEsDzٟU(Bxk091-oSvAFs 2gHEz1 ~R0Z+[l[f)^WYtRu< i$[ aG{nϰAeɡ tJi{\ZF Q"H-%dEыhL𧠍,X+_-VOS; <:Qr}0CG?w ~l( 9B ?DVeV*3S\D,XwS  P.brIxOFƓ:0fU@&s8_jq[ݱ?2z +d`wq!bS 7]Vݔ=ěZ4&DL͸¸cRxЖ,]إJ^*)]c0].1rv]ɀRTuI{G0bLk)ﮥ{0joCpTZyGPt Ax7fsKO A+ap2Ut)}[ &Q!mZuC[33]܆8C@&5%;I)v(*Hf"MV̛WT ߧ0c; Į#J"zu\̅X&-o?kl0 .OHIj# Nm d~躵v^JDx/uI]{`A,vOd+g"%5j$jOnة\5}CFJVs%J\P]6 쌳=~f{TUҎÍ5o'=8I_RIf=B huf ,=tZGH]]>v|{n6 lW Y9 A1 v$4~ܻ#,fk2pu_0jQV A)*)Yu'KoHlFh5q ( xɧ Zw%dvrP0vτ0!fDOR؅o<,\rhA|V 8f7Jd,P FulyZMa5wM\M4b7Q:mӑn7̺?S^qq!+*4JD9C@ Kf./SL&]KB AKM6Z g>~=ĩHSEKq3?V㷘e%<[ƺVª9]B :c\ V+vÊ/ ʐ9M ٖx#PlhJ yCX1$%IrFgq SA|wRpƳJ*!cyS$Yzahv&$ 3s 4Dh5A8 .7lu JgH&T T`'_tESE['eu[Pj@$\n+mﹻx:S#v:oQ4x#B]*{*0'•ސ_m\tJAh=u24@ $cR4Z 0U?96[ҎHk5^,ޔol(fv uhI\}Gсk2 G~yҞXN-9PETe?#v3`Ⱦ%mܓ3k`TI7nK`N0mU\Oyւ8 2 vDxQ( > nңWDT F}?^'mToU&JgnYj58Ǿ @ynBk?FM|H*B6){ʹ'[ r[Ϻ:o`fu`JwdP%r'5we |X] Zo `?8x t(4RR'1/+zFx-`#";n'PI'uU2g1"C2f4p]o#q@մ۸.AY2ct<ճ V̩Sߪ~'V ÖElF83P'oOKIgK Apsi$]` P ^1%17Cןym678?`RI$HX(-TLZ"*Xw 1-22S/YkAmk&BdÄu7u".*4c4gYZ7146a6685fb1ddcdccad5e4d1d23da1805385129767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1 dfc8af01a4fe18d47f09ad1e815901c5dafbee46