SQLite format 3 @ . B B h77otableisabelle_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 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֣Aa@-&z3 gxH4hNґ&SvT:w(C`}lgz\a4tB_z8/Q,RB̒1Qn49t/y SuperCalc `X ?Ҁ\)q%/c0et<xb~!1Y.{꺭#ba:ho;bzp2p62nTMEHYj1bsWUQ0x/mI>R hCLMi9 u#ϩutoFuw[FASV$|sp`Ug{27v`{ % 4@+ QJ<5hcɂ".▟} UTkP[ڎeOK'y&PGP^낖ޑ+g&>h[k`Lq ӍT˔QrEǽR/BE<T2EuU,a3-h}9^eɌ3n#1 EZf0 *(гX"2yB 1Mz_-H| yc竔S SsX!y28, ^,^ynY/sf^eM^اIϾ]bv<!NݖdF5a0egk}(p `6 L (ϣg YZ7zXZ ִF ! ] ŗXiɟ}Ɓe6L=+.3 `ɉ