SQLite format 3@ . BBh77otableisabelle_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  ? ?6,t| ] Circus:threads=2elapsed=51.812cpu=100.504gc=3.612factor=1.947zXZִF! K]ŗXf1-/6vRZyⵞCy*!Jlú,CW+j@,eE֚5.>H4,9:}^a9OS8SM6DUκ(9i$:cOo~g!S,F7D*Wp;Q ?>%J* gxX{D<{NLQf M𦿘D\OkCt#e2!L5Ke>ʈG}FqZp)rX @-Q"}:3V!{@VP=O\|=?PDϡhp(6.,%i)%'?xh˄gLikiyI J:>y <,Di $4ao v֝Te?Op<'8gffdʎ]p@ELJ>ׇ$‡#_túP)B/O)Iz$`~+[BY} )1g{>vAˊL ;IL#p=8ytP9kk($wY6/oaNᜣ qkYNkzͧQRFfTjAVvq#s= Y瞃*Wnby]4ĜVYpƕ.L}̈*9!oBAFz.R(rT *AVTk: Z3\El?vf*pQ#z +^PVFv9\)6; bnNZ"ݵ+̀$'ګ]! oc%)aN,a(9qΊL&֐))z%]yAו1+Q_1m&\6lto2B%ic1Q৖BlIGTvyeX'XddLuNWjSLl&Z96[]WRƸ"Ӹ ,7KjB.y#yo- R/ڥH!?DJ^#KUVRݔ/7oL9$7I+`W ?Lϛlmw /`H3%ghYVջY C;m! 8ۀXJ_{f<@@ƥӻ̡v3Q}͘=64ʬ=(ZM@ "g# >em֕yfOqLVS'ubKDž[,4a$ByGWKCv 𒁹MTN9mRgL}5_c.RIR2zQKogk*2 lQ   Circus;ޠփdJ|)6ZZƒU;Y0!kBD>si~U>4l2TJwm  gYZ7zXZִF! d3]ŗXiɟ>+yC, 26炌{"*ux+^Z'*Tr/=1j∴L(NŤJ8@fVL$[U}RrGBҧKu,IkZ 1":7R kJת9UQH./^" D~!dĂbwc"2xyaEEPI_lif'Eb?Owb>I3JNU!;h.-OutĠחN66{W F]Nv7RU dgYZ7zXZִF! HJ 8]ŗXi%;iٻ ZuNCrc0;T]Z D׌$0Gqހ BwgOrn04c6PB'˻Ï{$n+< fMs!KжL?sag7yۖb[|oίZ!ȩMנ@WC yπ&K"'Z=NvKG\i\4 i?nbмLK ߍk}uwn7<9B<&r^ ThA cn0z,廉 bM)QfV\P̫1ۄ`l`#@LtAD!2piE(k@QC2`F&))@2$_#Ȯu]UbbI~=59l&Dhpԁ#uƒҔ=q ?5rdC%`F)z2ʗ[@Ri:ڇSɏ<=Jb׀LV'zĭG<=n-VX{1JT8_sG,y̫-LM{^)U!+80r񬏉W$]C14 1}ap3K>p>SS.pd V;ނiU_x>sã_[}XO*u=$@MMQғP??"TiE(e0h'V@"v]FU9z {-R(+mwg-n)g}` ?Z[:Uv޿m$eem'dYJ2(Ɂf2 nv5|ըM2%6A i`A*r^AڮeN)[:[/l@Ndv}&@E\]ഐ+W؛OhJ]D׉9˖7U)MyFˣK" _Ǭ يZƸ'J״]1B drV5b<_S-Uv< 2(7_ f v(ڃ6ܻ=<LP0 EnSn_9.(< -}Od1I*z1K%*v[!4