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   t-$ ]/ Generic_Deriving:threads=4elapsed=48.814cpu=144.304gc=14.048factor=2.967zXZִF! 1AG]ŗXf[&CK(`Q>ebU?`?c4g_?gNEM(;>}dq=qMfSơ}cIX$T^{L P*;X=l(7"2"9i5Xzǜre`ns4 ;TOi >C:2,@5!:7;wzbU .wCM0{/iie@Zjⱨ| <~VY F3@$E6~j]RE<4ale ~/IU`}L5R?+t f'^(k;מ)R]\Ff\i+A!Z,m(""g ͒?VʏL!rjW r`r|ѺLC(C;Ihv@I߃]d;I6PBc& ڒ9 IDotg:6>VFM48`cPuWq!R*K_jQhaD/w,` ,sl#"qI9H\QiyȨ[dI* ASܔ4D|{oH }PA60kEy7U7]svM3"1 \=, jߓ·KUGb+|N,+FwLqE\=S6 ޤe 6 0$bUpvf4aku]y hkqvllA/ "OѴPNTBwjTϣ0dsw>T5t9Pл[dY 1*O7obr6" pY |ͧv)Ĩr^xo:PZk9+qo)lq${ 16C.fDEÝ? 2] 9W@58,1ԃE^v]斲YWDY'3EUkDOxx4ban1=O m nc¶&`+1^K}Y0/#]T/B(~/j 18`s҇d;(eQwٴ mLiL\gNkXN)(Qҿs!:tUT N`*~V0( >N4 jx<ԍSHCڗkAGlw[L(B7C6gYZ7zXZִF! Z ]ŗXi%B:f_8Afvn.BkszDg~ղYB 겇5ؗe&&uZA[5.!8B~ڐ#Ws엦ތE}%{ȝe:pA;:ba:'%?tZ - Generic_Deriving  *{!qI4QwnFfa;T\8|]3NŞjYQ*^˜$ʬKPp*_"R1^k]1ž'߉?t}BlD+;%l bqŪo&L#!J4E=&Ο"Li9J:\AZK Ⱦ$C;_sEZ[n 2߮Y], $0e/dMc}? B9ݫXTIJ *`qD-Ùxm$'m0n)'iL) m_XH!3o LI;#7Z&!L?& ,E=gmfR',Z1>0,g3 䀈+>9a CW3aΟWv%sO*:MM_lco~Fb c{MrJL6xOctݫ= 3/$L<;s?YYr ޹;tx%ɔ#ր}vCMTjn{岣1pN.g=-\L|3[2*4 "8_{ѹ^my38#T76#nC!׍*#5yw]ިJ_kN~."XA'G qp|}[Ȋ+_O>A1̫ < V j4o]-8iwo<\IPK$=hk&0kΎ?(~!l$B$, r7ḁV=wW4S(RI!*E4m5/6!wdj܌ cL{qMoO[_o N5UcwJd 5/8TTq8$fc;i#ʘܝ'A5.Mdj$b ƺAEde:]#sfȤ/{l`7/5bS/մo6[ }|r[$XX/6nߠt |ĵ)=F 3J -[%{ߣS+2(IL'1Z6 G+2;AY՗ќ|*g"!p:.Q C ]"f ^ aqm,?4Cs`M2ф?:hGF 71ZP:iBR/N$Oqy0Bξ']ǭ/xVUqkg()a֧PXTDz UNmعqu.]`0.[ 3eDe$M\J0>BhDB}4|KMuҕtEUN qwb!M10|VȪ#.8E׊؎W &dQ DqBQ\/OILqLM']"~smS\6p!k.@{m~V4:U? nO*dU ]EAz"7"⹁2 b[h*84,%$@X~jFeVpC(D>, }#@G >{=]cRR{쿛I/=/}Z^6?6Ia8}Wp `7K>IQ-z>.YNq'*8I+*]\F0lL*PIOlner^[4HB#JG!.\޻/RDqĖXWgjy3*Nl=A2Cۿ-r2YS-Rqyg&pWu +u>|4S~oE= 5>~ؾu<uyuT[:VlA%6Kw\px$y[o Lf~DЄxmtKB}l'ɒF:/`T>5vdEN*[ݙT{ j;2tTC46afJ {|_8NϦ>hFw%_~QqS~1ZJ\ܛ5mcacxج.ˆ=r{'l"+h;7]7k2E PGa>`V*W%H9@w=Pvv25>CC959U+⽮@Em7GUŅq>K0~떗vI KqcǞG]܄lQYcN kƇC[w $nKQ'l>&(/) 2n|W>64`Aw=;zJ2S\ |ل:sp=ޗ ւf RUg=S?`k@ uSzjT㢯MUo'qC"DTFg@"@rÙ@LFSMljl eMK8LQܼ*̐Y 7Y)Q%8êg/ll݌+JnOJa1l6#,|Aj90/AEDVQÙ|k6'Uk!y12^wRW$b FmmqJ2hC)*dw%wWp)3Q6`BU=iÐq$pA\fo#EGvm&yB>BnT[ hw}'8ɰV0K 2E*%P4{?ʓlN4ݣawR/+5j_nNIIM6,8e`cLX?PYUЌ '5s