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 $4 ]/ Impossible_Geometry:threads=2elapsed=10.239cpu=16.244gc=0.520factor=1.597zXZִF! &I]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jhMM('J6 GfַM s)#Sᒖڅag\Uh}YZ7zXZִF! ?=]ŗXi%;уxjt z:HIf_3kTunV-6ިpbɎn{ؕ'jT3MaG'f'c@~ȷgwuaڷNvړH21{J0#ZbyUyJ_!,^Z 8<#vy?ihsYFй \ R1F'];xe @qE{ ͔wyhOղX`hLGϔ3qhmKJЁQ 6;NG`E=]P?/Rg /n.V ū[IS "сøuu(BE#2z:P7us_kURVҌRM'.icepyɢ\Mz&rL4#W!W{a,쁅#B%3ם̠)V{Ųx|r.z¶JlRf%X<4!Z:jSh[zDY6~m=85*كX*F#ZR _sPk(fWKù_]p;V(";R I:(E;*\j0_f3dmWv[\RU'[K&ԗf> jc2̀>ٕ(z1ZO01$X`Mʸsoo*,&7vΜwR}>hHFcqv!Z̸~~'m%DZgYZ42b3ae4eea7ca201314f388c6ad03b915e15ead079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 3 Impossible_Geometry