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 ])4TT ]/]Stone_Algebras:threads=4elapsed=71.725cpu=152.240gc=4.700factor=2.127zXZִF! L]ŗXf[&RTX z>P7Œ1js Ǒ_Е {M@iKix 1RUi홳CH!q ;GӜU'(DB>oXRL,&Vv`mP$.X(q1]vMqFgؗ*;Nu''KHgL#|㔥t A[xzu[)W0jaE7ϧ,TeZlXs^OPogFےgK^P呭IaQG ^k`m(ϴuq6G71ntݫn>c@N=`r ˫㪫-lلv0#W3=`m蕰0{_UxQufS-[ߓ O4΢ȟ;,tz4~e`9›bA^x`r7i9R%c1t#E B&5IE9.h…!uP'JiIg!0 H̱ڪ(װT.@t#[D?]KA`# Og`$2[lg `—XtBX޷ d<Ub!& *#O$pL$r tKwRG7ꨇа4 z՞=JNS!!ޤ}IjȮP!.fVTsa 5;*Z!Of"8o*.{Ci*z ;LK =D?S8ʜEgXpK2^3Lx~Vݪ/ϥfj!|?yLK}p9~ ?c…L0lX.vlAwC>ѓ%vF|ƒ&A@[wIW]ɃaPJ7!x'\b;V~}w"NYYvL`dLGF<%qUhY4ʈ`#ԄOD.4q}cЦ#g+mVfCEW3ea- 8?N"v:hּscPpL) 7۟JlW?Bo-J5H5o-S)6j绺c7 +|;39J)D{5 Ff~u7 #Ej):(CH wĆC%12+zqc$t`G]Vǡg2Y$-`Ŷdq;Rty_n3U$m;Kf3a 0:$t\` O᠗aY\B.Dr ontXPݍfu@]{'b-͸s\?5BkF%ByGIĄ*ZHo${Ƞ)aBR'b2PP> gYZ7zXZִF! F]ŗXiɟ34Zx8a-2".)g8Z~!ЗgYZ7zXZִF! qP]ŗXi%B4 '4x#˳g{A9z7Gxm ]ƒ,H2>SuDm:1Xib(1bzbz8GAĖR;͛si l=Inz-=]p?G{hCɜ) jb8!͡8Կs0MB\S|./J"5sɒv>O  _jۓ&% Z%,_egյ,`Hl:{RS02;r 6K2\r|WC൘3AZ杸YJzLnB8RjFYe-Q:M 0I'L(:r[?Qc++Z<]`]vo׎HT"ql#>no_:v?ύwZfHL}n!14r̯J)~@*d%2m,1@b * CmH)n.f_(VȸUF=𧫟ފ^|?OX 9cBP{:b' eJ=D !ا]kt=:TeJiÃI=1``jjDS?6y͍:0A̵<{^ !EQ;6cPF,j=.6gk&$34G an:4r/D9#+p }C bƬ!1L]~;vI! !FDp0^4Iv[4Vĉ]]T(4L>q>k$_kԔتg儵b?/_:[j|j%iSZ_b>_,w|& #IʭR&/hݔ=3O(_s#$5! E'Nc*b=G q)zxj)׆i]TVk Jwj-| a+9_2,hM#%to+;˓wy+'|تfɖ[;QK-A(~Oa;yaw~G4&7z<5 kb-U8Sg-01WGVJ`6_M̋$a n$]}y[*).Wf~bAue.:mݯdO ۉ)t]X{.h*ǠNtI4UPrXt\_/`ޤ]M ܌,bkhڵn"G_ C~t2 's)Rä)+'51~vY m{496P},_tJp!Eg=У]/o=b_-Fw$TZ%d"pr.lw]0(VQy\~5!YR2W?g0EV{ B77켔Jŀf!bh лU}ny rU𮞆!!u6K6jwʮtH<6W틺30gZ!dߑ'L\\Fl )ک#C)mdjc*(ݭY=w[}:+Z J) uv28}TR>ʁEBj?CaB.8788Vs8}܊2"W_"l&5#Xִ֝ۿ^Zs.MKxV5%Pw5LTe71bV+$LUip_ F|k)L|Pr]k̑21ի7ݙ<$͕-"LMuZx>Cn$=\uמ31?~$.gNTt8j0\c/B8kWQ8q4" RTi4*&j]L3<g*eq9cܬcǎ%vʃUc͐z`0 D}BP#-Y2#!h8 &ƙډly}9@{B -p Y@ c(6SD-ȑ|bMPw9q@-㳛ݖf_A gibTq+H5Ug f7 *|[]nL9eϤgP@Q} igN*