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  D,t ]/]ZF-Induct:threads=2elapsed=6.865cpu=10.928gc=0.432factor=1.597zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Mc/f@y]@~j+id(Gi@_fc)A菅{ⱉnۦ{@m#GAyP.ޞ&}e {{ \mʄJRhc?D7*%h#ao: ת毳@Q뽙IJ 0 tAE(`R0Ӡҙwf{/ ti?Z*2oδnx=Dɟ;ǪgYZ7zXZִF! .4]ŗXi%9(Pπ 0:}1Ҭמ%F| b!r=.B"6·)i,z|ԣ΢zb2"i:f}# 6=*EQEsJg;]0 VR, ;9E]ӝov! aӸ]$U}l{8!ī?%/5Yw|,+3 ;.`bڣS't=O]gm PM䣥>l߀T(o~Jzcq"16Eװ=,˰k)j@e)gsg`,5gF׫kpT|Dhr ģ-~{@ K\OBNiWNfb#^Ňc)mt 048/;#\t`D|vH# >Pӷ- y@ςo_>&c3[q ^M|AbY r3j TEh›nh*,T1K\qLџv1 1򤼝r̅&UP-4W3@|-oMm>c ]bxDK,ى^lWxi'0ixXiNg$DguF?$z\^?5`VrmՎ"[.jKacؒO>b;n<igH{!zfOiB \`dƶgbP$&ĽxoZ0l03Ӵ]́gYZ5084ae956257c8410733403d30e2a36c5844ae966f2ea6ab0b5842682397ebbb65f675c6588578c2 915c18da4627e5cbbd551a676cee91f990f935cd93c20d8335cb9c16547396369d5d6242fc7bd59a   ZF-Induct