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   L<< ] SuperCalc:threads=2elapsed=39.124cpu=75.500gc=3.712factor=1.937zXZִF! & ]ŗXf1-/6vR[] ֧"zժڋZ( l-:;G.GXӹf)!@rНF$Ox?6}Y^>&}=bR>0u/So LJpę`UYцSގZ^ͬ3-JҸk( wn/9.HtMb'o.|v?cGg֣A a@-&z3 gxH4hNґ&SvT:w(C`}lgz \a4tB_z8/Q,RB̒1Qn49t/y   SuperCalc`X ?Ҁ\)q%/c0e ؜t< xb~!1Y.{꺭#ba:ho;bzp2p62nTMEHYj1bsWUQ0x/mI>R hCLMi9 u#ϩu toFuw[FASV$|sp`Ug{27v`{% 4@+QJ<5hcɂ".▟} UTkP[ڎeOK'y &PGP^낖ޑ+g&>h[k`Lq ӍT˔QrEǽR/BE<T2EuU,a3-h}9^eɌ3n#1 EZf0 *(гX"2yB1Mz_-H| yc 竔S SsX!y28, ^,^ynY/s f^eM^اIϾ]bv<!NݖdF5a0egk}(p`6L(ϣgYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉVYl#3S[%ؘYWpQ[X1 cgYZ7zXZִF!  ]ŗXi%;:*)U~b- rdgiT"f GϞc&IuWvkjSok J 0Ar$ֿ3gjOv_\)ऀ@ܴ{kYNU롾J ק_)jϖb. EQ^SBku\٣gBuarVL%p\B8Plհe0YL+8i!4qТO>]3+9;-T`~\lWu 0MłK-MJ>vjt${ a: _A1^ؽvƭzmuh5|ေj:ÁKKb7y@Xeb{< +_lP(ښ5n .r%Db"B2D-5$[ {V &.Bj>g3+W5G GYOxd‚ÌԢqBe^W?I&=YC)egb^sq>Ip!X'Ll!&#bDTJ& dD桔D>1>tFygRY`2~`W-|-e[ "ɕgCKz'^BkQ)SV (=W5f/|4gm.#5C;c\}t ^>̎C%xLTU>FR}[WM;jWWŒⅻXcCƺ944u+E;SΰMIWX0-vw@+R 6c'y>AmW*)o߉Ct"kE*xPLK+|^kWw{tX%M%%ԣreIHhə'dp]G{HIsvBx&Hu+g) T9.EG[>yᅵ^L<`( >GZ;gk "ttRC'uM綥O|W87z~BBZC虺RɝBr 7;+/oNz0:jri`;u(SpYϦ `E7*~|N۵&$U-tă+'*"\CCTr u#LS/R!%zX S/9>[WRk@P]THH3X4ㆸᜪ,G8cy}3G!߸$hl?aEVXK,{B|PϠV3KQ o~QGgeKK _5ZH_?w2]zBa-Hu>N^Tk$&[;{؝_t$0CVG9a4 jl5t͡;'HfH̯"`3diF1Y1J& լ|aa24e(@mѯgrSԇp*s/N 3d 6}r<$_QFk(c:Wt}=8sdS-v&LxQ!uh>~psדkxޝݶZk n"w9|FZ(h!H+Fkf`}7IwM=/ܾf⬮qM+M0aV_Q:̶oc g$H+'l Z *L>-7_&:2dgYZa02daa45073158a8fc7fb5bc5efc06765daf89f319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0