SQLite format 3@ .;  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  il4 ]] LCF:threads=4elapsed=4.151cpu=4.556gc=0.132factor=1.107zXZִF! (-]ŗXiɟH)0%oV _ +ۈq'>c$Ù3:B%S'񑏂Uw gL @RM P-;y3I1;7v[s,U' ^Mx?)v8-b%㬈aX(L+9%{L"w}څv`@Ir/-0 ;>: EU* 0ʫ#h;iIxO?e-5w!'_EX+}_+%J7=S!s)'I灃2}d-%* :nqoǝp>'P?}u9塥A:aɻ>Dk)"7#oOόfX4}t1C!B)(d >L>j/͉-kM1{6g TݻA&%|[̳̟ qhOALi\BXDF̅e_a I%SBue-3uVYεrІ0M"U/MI\.$y [3?qݨ'9Mvкw)N%0_hVn9S_7ѷ (;Cws_eޟxC9@8d6Xcwt!Ч,6_޿t.L'_};G!dǯ*A*.kBzF8h;trfD\#^!=Ǚ?S0`˶ [+>:j Z4DLi֫wV*&VxIFi@@ Gytf!,$k@ `AF*<n۴<2:QDqmuOOEc̶VQf:5Uloㄉ4;X[d63D=0]Hu}=9|; O(HzU*^ū&꿹hFշٙA)`p ++,Jyc" `&x_#InyQ4zB4E|r|\*p0leE >2[qEW$UCUR6]~0GK&%aReY lJn wV:K* )MD#ܓ-J+|uB7-S҃X,55%Zա'\L Sx Yh>z,ًe K%[aFG6I?8-Q &N=lmR,xrkls V]Uusbン*]Ob{2X@2Y SlXΦ!<p,W }]Jx(/OAN|gjne30<2Tyw &b3قӍ=`χ%혍λ8@^*P7}^4LE`q 6qʇ#̨9˰վ(1tH;gVmP\%U[Jt gS =aw9 ic>2ĤZ4Z-RD$Sl%4,᧜ɰkn6C{ É3 Ub2i9dOpfEE%șt D4߬e5apRׅJ}gB[yű;jQ7HN*%戡2ܡO֍gz6[Ґ{>ō$f;|Fdx@D ˷|m{ e[Xnto;Njfi0`(oUHv"<+h%$<9O {{qk|;*#oe8RyE2shUM['p=3 P\ ;H:^Y׶d 8}&L8a{]+׍zWoY,Ә T&gf5vjgn, Rn+r[Z-\;i%\^<:7_Q1Uuc9D :LdS>闋a:8]n8ꮍR+2w4L8Dj vr{%*DfG2Yмs(l5k1z[{g]W`eBJ϶;~G+/p=3xZXW'Jъ Wڮmٖ{(b!}{A (1|+|ZQ>j>m*N/!1w\?ڂ`rWumT|s A[ ŊJlrY s hKw7@N8cU\KN\-^4gkH a͞:p|,#^ʛVkeyNW!G3J:d;Nmy‚Iǡe ٖ8RdM 1+PG0b 3y5Q\.@go,b~x '&f <'X"c]t% ඨ@+ܠ!^GyŰw~J5X*ݷV: ؀6ET+lmtXk>eE,ժO3aKU@+\%{L温kϐuz^쑚&S&9$+kFѵ)ƒv8G`}1Ut< '= LV t KAQa';*$͡+!8io9`'r