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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 8 8 0/,t ]]Group-Ring-Module:threads=4elapsed=177.996cpu=503.688gc=21.700factor=2.837zXZ ִF ! ] ŗXf[&De{9 <|ٲA~UDۖ ƑIܙUmIM3T@ێ)ܿ܅X冣Yi*@Dٺ98\{Nl'$FQaVdOh}bR9Yl3iow8O}튩T[]@)h(e+^.+ i'ɈP4{'HJ^}[A9\QZ* !$fC/FOds @d7#;dV(3D-cid&2g:zE}hyX}6C+⛇)@=5G3+"(8itimQ:v^/~LNSkҩRr8i =$Q.1n?g"c`(d1IJ˻(90JWɳF*msu͙YLLflz!MD l$Fo$#js%)#bI=} iר]``6{Oiu7Doo:VY
6Vv"!g.nBDjcNrWz,ΞZ7,e&n"8XgАxuJ
zCt|9XXy\╞ _v@|hVqjg`K9X(7^ӚIE> {weWKs b!xI [SFT1>
+`H⏺R˸:!PpäY;vTsh?K^.T.+Sc%{\v(b\[!D/kۙ<3wG놶c=Ł ax`Wo恃0ߨ_Q
=Ye'%3Ţཎݏ0%JI]>5/N-`YCVhdi[⩼Gi1zG0gآۈY'>;I@?s8,(GZ/ v8{ELosdIqS`5ℐI/Pޚ*]2u߹+RKJB/
IqM"{6!Ц'DzeGM9]We)@2]ϾB%7Ig zQ]56nz|@%~r*M;3OK;%}_%M46jR@i~Öɫ`KsrЌ؏QĎY=_#z#m<ʀ]V,3O5ȩ}VoRQpq}ˉmRշruYe;i7_2^:7qS)bK-
n(_+,sٵM28e>CFctd VVlC@tG^!#ڹפO =7,}m-u=HҠ?N[!UpNب!+Z,\>0Op"Y6ưҌJͻɥQշZh7R!ځdQ*NZTϑqPAX&4ly[ĥ'-)<Bp>MnC
Nk
,8(ƀ\@ʹCԄl@d|~ud g6x*vΠkshXĥAIZ%UYDlD!-;/$E&䲸gTlAzinW;N3aۺ㕞9,R嫷 |ilJB3a]tlVcEٓXl , t
}I-[y
vLزs9k2k8Dl7ā0P*?g3}YSI%SpJυFN!חեUl2=@Z,5GzMHB*;nחnɮ\N!
OM*~mFnmZ0}j¦2hcl8C`Ȃ|) &~3VM[#3|jK[+Fz=7M\(]M}r& QQ˻/dz98F#6 |->!3']->Y7gdq;#zr%RiŔZWEc327:j-]C`f_\ux/aMYóTb̘_G9&$Ԧp߃zzȺ3Yt,b[B?8L1FD- !CW ڸPM4T$ՒNˎ*0(L'!wG^}qvƎZV]XW/2
gu h:RpkrA]|x`L"L0b:ũlJP$vz/v,Mcyٕ@Z˿7~N~nޫі6G(:b/UEtK^ω'f¦F/ےcwb;WUK{RޛR_
FDgte2t_:L̛4Dy _U:5Qcf503܊r{DxWo *Ka~->L#Q=C={StJ1vӊ3
o١**4sft-fXX^;;wc#LatS}g~$8j[e t:lc&DG
cI'x߫WOx$kuR8jt[e}F2HdL2.]+Jl{NiI6Y^;s̔ck[yZ
tiBY(ϩ^Cj*S*o%*sr
"GdzLΈ Uߛc3_5fm"Hi7PwQH*RnYג~T5vd nabL~RO|u^^G;J99UP!VH(Ll+'I+%Y.j 1Q&$q{ `LVX!rѬ09)qBU
:ʵy2* f`&pԆ#*B6Hapd3)[߬zʨrG=M$u$3Ei[b