SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 _9 dL w Card_Number_Partitions:threads=2elapsed=5.641cpu=11.124gc=0.180factor=1.977zXZִF! :]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}+Mu >_\ Dž"5cD)\œ(K2թB@7YMuv(p\GP0*C 9 Card_Number_Partitions$&b䔱zC߁\Flt._jD^lzV:>h:pQ,ˮ@{~c췩$׻[yīrx1mC˭VQS%օ3WC6s26:i^Z.JVBc(]Eݽ(t$?kfMCnŕ[a;}YD}o~y!:~.@vAK-|hGۄrb~Jk äΏ %;LOpzXoqjux:-- i(^gh!) =.8 k%lDVV+8DsuׂM,"WW|o%8Cb=@tRMA`6$\: $V,{w-Zpa³"M]%K6S,%JV*8,d7?zx 1gc1%4ɺIum&,rPoߗ9fbPpVLb{;o]xMƛF(7ԜhZ$j)2JWY\,I^mT!Qk>Tq_=foB0? k6nPڕsdXs]tyS :qm)jGv҂HL !ZTȶ `Hp ק@'ĢuWʱgYZ7zXZִF! %j]ŗXi%Sm_3 CG%+焁k=Lr(m(js=pua+xLAչLN]ʁ>r{#EKx1$j&_hCh(#JY/ &E K~'n%I g۝3w:S|xF6 {T5=#)V L(;!EGa{zi%Grus4ՏyսC6'A`_t\n./O K7yR65spMf+&>}5!h  (27f2̮ s_ڐgh8)C1Jˌxq~HP 4_[jVv~?=4d}cuD4#f&MܗZwEX%0'~vf+sr 5J3|.W`ĩp$G#u,: ag!^.]m-]vS1 z[b|a#\%³dKc X^~\},ɔ