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   b!Dt4 ] Splay_Tree:threads=4elapsed=67.892cpu=105.680gc=0.840factor=1.567zXZִF! m]ŗXf[&R=P"ՙxzВ/se싡Rc1Iө^˦"!>Y.!`(ڧn`b5F@O3Q1cmU]3@t8\<¨4X3Oi^t&!$.ʴRa}, n,L8&$Z˗YXsbg+^Mn:l9ko3ӭЬ+Sive$x=MYr*%mキvam]OJ#eJi_9XSyfmW5-Dq | f+J>4Bm"Fs%Er(fSv"k!~;{>X `~W|JsI 7=6 +?=|~Q^I嗮 Ym zD{ 7G0!\gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻SN9>G`9XFZ6[ǝoʤ.F$&}%6^J^tr,mn%y)bjK `R=qL|:sC~dͅ7rs݉,|Ӥmm5CX\_zWV!;1sAbagVa 5KMc[6we?R_KxݷgYZ7zXZִF! _Q]ŗXi%B۾1FyFҦ򀯅&U͜6cDtf|[wfx& LyUb! Ia0uJ5b>Gb6ﷂbj~-}&wT1k_gf@b(ᰠH~C'jɉQw*tGtFv]=+.^ <[Pڈ}ֳ .;c|Oh j9 N#õd}BV'_"7L>jx'(B%G@j'h} S<>Q|mX1?]n1N+:Q!cv;C LW#%U@4yͷХ,+e|ِx6o1+`tn@OGR>NѵB~5#y06:Z=|2Lp>%+ʔbX݇mk -^8<~.v>OO|RXK6=F2Q>\%[+qξ eaK2*@17>?]Ey;'d#s?lI,JeZjق _bWLKUF;jaѱ|>Ԉ9-ޞ]wI+)Tj֮4vC5+(3QUtEM^rHf=/H< o۟iZ[8dX?,砏7g^[z+ݓFAh%_&!5{hq̵q3kh<^#,iYQc6I_KlZD{Ϲ*dbr|AW{`ytzq%~af2s(.B/}vjq䚡g /GRaxJmOb>%N 9ESeꔊcهm7"׎y{]h g_GxjOzu`t5'ӄZ-ϭ \ ))xd Y'[0 <[Ƈ8FGXB+V"q!i~ˤFkb YDvݚs4T-(t 6Nd(*N/{ Ѣ:5#BPǏsvo7:A3y͝ƄݥJATU~onfI$,9s@,fOFsxsKVB1NZQ)q@ m>aJ+լE|"՞qeN4l6بq.iĄ:=6{9E ]h!ȷ\\3ŃXd 8_;}q݊m` ww1I dE] # g(OR͖xj~o= {f>ٺs\v@e4_q|Lv^TlJG^wZ–aBWi>QTL5# ^[[vүm+5nSoRGj92oLHZV0_WcV|MH}gLgǴXb|#ި5 ,#]Br)'ӡ3ZLZ}O)(C3hU%CM:H!d^]<ٌ+M9BEryWa+T sήr۸+UlwE#HH}ޯIEfTbےεk< Lu͞>?\;cql8naeYk~ho|'^9U|f3sud<:O|q[3P3qa ЇnSGdQsdqP7"-e&[\ZcFO)aJ߮تȽT}FUhhY1]P$}AA >J'$-*Y|8-* ̈"Wdj^i?s@G27LΕHd)?Yp{qRVX }yX^&bHSO=R1bB837qL:q)_q)f$/Ƨ-Kw ct"or2ĪZk oO\M>Ϻ\MDPe}ʻ)jQ|<.;ʮ,Ga5ayIWUV-antoElFrBfn'FsI$>$$I]˾ʨpMt>l#Ecy}}5$ ܊ tXYtAɹτhg%2^İ@&7vdoK~y%8B"<}JNE}G8L[&s[rW1(A7zI3FU{qH<.`лv}Ȗ