SQLite format 3 @ ( .;
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
K K !| ]]Jinja:threads=4elapsed=227.655cpu=837.836gc=25.364factor=3.687zXZ ִF ! S] ŗXiɟ
TJd`V_Xj[z>M9x569Δ!46e.r?RR KO"66@
J̻T.KywVRz8EqTq~ֲ2[4}uNv%aSW7Tңb>$1rl<-A;mT;ǥ
u(k!9RG_ڇ^~-2Ț ri/8t91Z Ϻ 2Z}IInR9p5bd)bx-.Dda_hU`N}pfwbb_kie@ixݫ/(a9yHW_ϧQYS%zZfz;-$i"/f[wy5U*-9{mjU,>Nust6WbyV8vM}dlBAam"s+l-DBǡ-WP&ŭخF[㯉kznx[|`O,]o8oisמ'lq6vS\V(99h/cE ӞAnJGC,uw
g>ʪ4>9DƉo-"hL:,HU^ud?϶117]|=mU!.`╦τO]]zR9q{89a3:-^bjBIx@vfH^LvwR
&~aZ?u$9N8nlE8 p 6ڼU/L|qlq2y| tL7ur7:jTJAU< aЦvfd`AC^̦ܖ
D#t"D#S8k+P|:=Rj)^M[VE3Nɰ.RC t^3;8Fn+/)
vp!wueA7quNT䠄74gOsvy1%t:!S ϑ K؞΅ϳkoo!$7׃:)H}.I!:Ƌ&roYPn',DhP4fAasﴊ*-W%X&!5ݬbCWAN
6-tحR?2VXW)@Eξ
.fTkGrvr"TnτI>C㧷
]-}O6u佴6_,jLh7[8ab]Wg!`w>bE.F]
TDRQ!^hmT'#ϖzg b%1RBEKټeGФS^c'ER`>)`qVʛ~ -XK=:x[2]gct)
p-͙:)
~rޢ8)HJc(P$~($,{ShG0B~&YjD _}"JEYPhڧ #%p8:54O]H3cSgnQAe*b`
U&@X;Duת<{듐pX}L0@!q=HNUׂz,$>$;ɂ,2А>+>Lf2gbwDe2\lhq/^f9l
LK>~Dn
Jinja
T;y<(ezLc)M.N=G=&/+B|pj*.t^Q3tDׄU@gvA.fw,YptF#&%&K??L!4{=<.1ØL, Awxyz W= "FQU(rϤf_1JFJ\p&_~ck4_|j3`,hIJ|USL}K0}o 7'lwCc't핗6J=I,zdPKeb~:/3
m0X#-9E8{|k`!}mQ{ #kE3rYMzd0]2^;%_!aZH(tA}c/tᴢp#(+_;-Zl5OkL'ʳ/60ۗZY:{+VX!7W>Uapuq>PؾTJp/R{nvϝcɒSgy>vzO(qyC]-&oys,ѕ L|G3^r9fAk+ZI]>
й!j
A()GT.7Qdca(&뉩6+.0|cs$N:/RSY"g>e:p
UNm:VcOi Xn[*' fl>֚7hZOcF2Xi$1+isC\?Xb'9uzw= :XIjh. *%H?HZ'D+SW-FoHr!
yV
THC5[~,ȕD,_ք@Nݲ $8Ms7p{Xԝys;އ>hOR`H`FI$gi5iQ|N5s7(KԝHb|S#ԽkinXeQ$r{ڟixmCĕ C%>p,i[X
0>jإh߉ڒgN8`K I;h
PߏS3[nH?z.9|;dvr.kNo"N6vUYR3 K{ֲ gFA{gko d%ZC "Dw%D@]I-B_|@tfA nx厣Nf6.?KP6O o:dͤdEU!`+8)Ku쇧sHEdpq`$rA_`6(K.y'_)L/߹E