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 3 $\ ]/ Impossible_Geometry:threads=2elapsed=9.944cpu=15.028gc=0.428factor=1.517zXZִF! &L]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jh{#cMM('J6WC:Ij_WՇ089ZYP g\Uh}YZ7zXZִF! ?7]ŗXi%ή++JX_:0ߏwuz[r dM0.)ȻR 1(z]h4XDt$?O$ҳ@5_4s*C) EcnٹǑ4AK*x;1>W͍Ə|sjs搹O(dB"( jhk3F+Z>bFIo?=5&6MWsG 5?y*<*%9È(F`g"mL3S%ntf͑0[\`* 3:@R.Nxm /C8c{i\]"` =tYC8nat4;&/ OtJ Z(p5; oQsb}̲DtIYC5; !Yʅ/Ѵ䡇PwAXVKGbzH*y:XJ5 +&t^ҿ> H˸1Iơ/51?F6+I4XŊn4`Z`N'qr0s^H@hQ~N{`gYZdcd2c1ad3cfcc051d6d69bebc76bcad50d8858c500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 3 Impossible_Geometry