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   4 ]S Lp:threads=4elapsed=26.918cpu=83.056gc=1.252factor=3.097zXZִF! )]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA ts{~qW/A!nD2߀%>sN 7+&!{R.U*mx~pf\ w+J$ڀQ_I$P;nԻT7"knI2w 2%eIRFf8"fjQj5@[`MZk@J~ R6EaͰbyw>vN -B.; Nw.9&K CDs]--j-?(9:aubSC ndWq֦lY@^9j@r<2~j5  Lp  5YNm1I)oN/c9%EN$2AYmA~t.lX2w3QP) GOb?;  WȣHx}a')upN/c1jǖ8`.kZXw[fp R v Cf*1;6;p,ݞX$ˀ&vVͪGv-`=ޯ446ٜQ82Acc%`,;rSȦ6|l*>13(!q'h!vuehğGqG*߇$6}b_jZɵ1ۃ!Hep l# @  ~mB~JprǵO/,J^76چ;ֽAl2~|W_}jaAОU])[?bXO)Nj~2<\%/($QT|YY!(@H=v 򊎙6 pJ'%b\SO2=1wfIC[t&Wrs[Cn莌4-`Iw~mɘz,?kH #&@0k,˝:c\?DN iE=w)!oZQBOD66*ojLT2ru(BBkMр8 1p.耓nhufLS-?[ s9fm_-c^@'8#)(>m+6/H ձB7{sT(o܅ RngYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7q}M_&*. ez@N BrTvo\,Z u 墎;޻=|.n9V4JJt2-P;gYZ7zXZִF! # ]ŗXi%Ge'AtO>E^[xw pX6&虧Y6|Q>껙9SO{0KH  p$:cT/wc Qoi?Wk#Q䇳 =4|3^d 3dH1 Wf||+Zjm|Z;# jY{gYҪYôYՕ&m :B g}g G7ru`Z`/֦M ǩ#a>8C}\rrXN=x(PǠ˜4a >_>r'VRuJLL\iyM:o&YQ*T_,ǻu w?(j&{pov6:AߒlHn TՒ;Gqsŀ`J;socB#=MIOSe̡5H@Hљ. ѴKpfr`m 1Wv[eg|PM$We ލ]ϺݴVZz`DxϨ^_>ne"YL/UwM}̓8Fx)h8q4X0)? y0zLJwTK3L?ļK!^|D 4;j_~yE}h#t4MUn Pz]YcCifXr$neUEA=X^-e ex|Yl5}Xl ORpH֯Ak]kMnĶh$tk_K>@8w넊hb3>fV(a1}^J_p^)ʸͩ@z]Ֆ 2 D!!A^ԿkhdI/oks=][{_z;} *!ez;%ğQ5(bjÃބ$ý|O55H7B$,kmiC4Q?JGQ2Uz5` sGr?fxn1z}%P8LP%V'>-#.NM=I-_p.t5*-ߋ*^/ʚ1~/Hi8r,>` 48FY a*ϭހ^ :=Wc[IWi}]6TP;wJMw/$!v'*-ሀ{xr&5ͽf۾`9Kc#%6k*9 A_"O$IIne'ګXX Po.@4H"+gTI+9>v{ 歊RJٱ/H@LB T[`3)d5 #2^R4m=CX"M.=/d& F# xk'{vq9pjbz cz^Xm\.&@w$t05鞃Ke:b"VC3uf\mQk&]bwCh?"(qŭj֖44+Lxq\93e|N}%*p$- I yR]{/d`M@#nr!ڒsI SI8|jbVݥ.2I&?}=2߀x;W絇^;@ -7wEfBv>75CBs%MWڌ䰵Lhn7&@S;Q#ǡیCP0̕1X F=T|^