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  c1$d\ ] Stewart_Apollonius:threads=2elapsed=4.416cpu=6.164gc=0.128factor=1.407zXZִF!  ]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>l[D?IÍQ%{>KL7藬坚JhM{ֳ)=69L ޯgYZ7zXZִF! j]ŗXiɟlٞYZ?@Lx!ڿ|iUYgiw1UWN6^tY/l[.~iԾzP|l3Ї^`ku&)ngYZ7zXZִF! %X]ŗXi%ύw4ɪ<48@B.C󆵔ư/dM+8 lc59v`?T蒼]6a JpI?UG2Vw.}~Ķ~^ a heؘ BL0wa(9IJMHQC%4+؎FgU_=92*r 4ל|/ɕ(rxA*a%EPN o,]m}g:T5+U_A x_Na`2j Fm}e2n%D; :(&hC070]]WZkJN6п(=!\ 9k*.I*Uk|SdG0$A3vPebQup%;tPe=^Z)d.DB➾({Wkr$ =SZjvbDfT[J=uU$ ?Cq.*mH{eP1eO~b'Q{mǜx ri!]Qc@{箝iqIr|ʑAWX!߆vɼ(.$Ըd(%1s"n<3 B]6 Kyg#: hfG-3"2a)bO㢁Fxhw ht9UeJɘgYZfda0502b1338af2bd26b66d7b06feefe5f38dbe2d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f 1 Stewart_Apollonius