SQLite format 3@ . YYQ77Atableisabelle_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, "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   y)DT %/ Open_Induction:threads=2elapsed=2.504cpu=4.304gc=0.152factor=1.727zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ VI'sXR0]-1]8B>OO*Tn=f4Lr # aŽۋ}2zsMQfe2h 7e./$&-uW'{bFWx ^@c\;$H JHczBgYZ7zXZִF! @"]ŗXi%6o]`&O聒Z}0<֘4zj{XyxPe1 ?ҏ z"QX[*iL|`ԷZtG4T*`I~o*7f+ E 3(EmF qyC??z_S yy1N䯞3& ,m{WȞrz;Z<gƅSL".{Gbgq~sںijvA.`rK( ђ|Gao'gPۂGNN |譲H=Rc 4 ][j'Wc5?3^jArC7>ӢBҖyut|uj _Hwop5`N¢$K;&gl~#Xux} F[/?mVaGй cޡvR~ٹ+Ҙ>(zx