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  K K2 L4 ]/]ZF-Induct:threads=6elapsed=3.241cpu=10.688gc=0.380factor=3.307zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N2+,7xp k[k4-1/%jFx;J(J@Fɜ2E1yYyM X4^:q.#A~( U~QLUz oGFYJv]P͒OԋNe@2gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|^]` PK8TV&.D%Ω\TcY–~iЂU> |L3L!bŚ;v0 ce1F1 PtN07ǔŕm:l0u zu. ::3GwH_rըkYBaDH6~RUws`PQHhFy7Z`pVl36m>9GndgYZ7zXZִF! x]ŗXi%έ4i<"-'=O$)NaRN4<NB@}tݾ5 KESyIֱQC({&U Ep6xDJ?G˓SB05b[4^'\j)5P9~k#AW4′]N#2RM9U&P|OݻzK}C'B1MuW('5&>8;g\vDikϙ!.8 V*=${ĸ#5JD|_UR[ZꜼt$/g53+X<` _v(pSKs sf%FAB!!|Oi ұgYZ25b514d90ff9b3d69b1b89163a05d318579d484ec02607a1ca167edcd658ec3d4e79e4ea4af5ebba 59326e5fdbe7c0a922150f3a5ff1d4e2edb83febf031f54fa21308451810db343e80b7ed5b15968b   ZF-Induct