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 [- l44 ] HOL-SET_Protocol:threads=6elapsed=20.448cpu=82.680gc=2.000factor=4.047zXZִF! (]ŗXf1-q恈%vA?'GAq,$L;׺N'nIcd0= DvѠ~$l ifi9Đ&c4TNBcF.=$ҭWU|5jG+ēttaZCTf]*Ӓׯ| x"](ӱ#-ϥ-0ELn/J)W=&.'}F~Ww>#`~0 C\Ti-L@I͢|XE}zj?6#i"|VשWUs',˽\Af3''F,t}v勫.,洬5-x]q2}p\{QD2÷y;B</ب[OL.~=)IG_anD6i]4`T՞',2yP"kOpI\LKakD>Qu/ z,_a$3o[A P񢔥Buks!ɶTlXԩUo$:;3?:HytSEU )Z"k-›ޛɄ/#`q-, -mJdPNA\ : GÔPu=T^rK$),j`%(b >N%ŋSQC iom}ޠ# Qv72NbFT1*V+0/q/N@I7X|_7nq3֑˷v=㧫IZ#-Y,|57WTwS5fPpgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxkMf ~Mz-@ Y 'ecf,2dk(|ΑjEARw-K=K]Pd6Q= lVNUIBe0h{Ao:gs]OyhC$0U~3W3WDt/ij]kgYZ7zXZִF! `]ŗXi%940LX D5h6N` 0x[NEft37؍H˙`uA>O6~UA[T 6{\ !L:%w4G=+]E 3DXujIicr va[IĮr\]GaХ3xrJ {O +P~aN%h6Ba.xR)D{~շ :‡2\{> 31[bPh 'VJ58Xޣvٴ{8R3? Jt3\L2i58#]9GWǫgHJ4v*eY]y%ʚHcŏ <}d{^!w}euwfη){q%Xv41JF%Fxx֋}:$_Z{9g15 P|'+\TK9|mrI|Q; /GQ4r=0m=74נFϷ>mf3+\'|HĒRA`IÄTMl3wΧAkXAw$h@xxo 5I[ee 9/.5mD iRtWRjPQ \'$0q;S"~oQ"z#{ъ(7[akgN v~ƿ# G8) `f=`*j@eicE&弈p/4nBq bkHl\\Ho:$2.xmنInhT(#9$4H)ߌki~#@ۋ<{+P o˒"?Ed|@glȋj8:>{\rSGJߠLS`STXh{I@`Sim٥vbx![%~>Q#V"PjաN)HRyئf~ě+ ]kX0׋[n!|F^WLq_ANat=n=BC@(<Y'<&ݜ}n7h \halި|a112nj׏o//E:Ȋ^Ʉ_p^pwP/E\B>Y(!p%˓2cvM_FeLEq !P=.u"IcplIuOl_\R5 d2WveiCcο՛b}