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  Ll ]/]ZF-Induct:threads=2elapsed=7.413cpu=11.864gc=0.480factor=1.607zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NRѨEs )`6 an_L_Yh v.pʼWhPp|KŒӠ]~])T@6C T*ޖQ=w0[ہaRFҙCkj!թ䶡 %2v FExx~8Q e"Xfz<Vi߼ WHUY` g\ͱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەvׅuvYM b-]sHxvK{U|SUki" ZDUi.\ 3݈=Pme2W9zO0G[33f򬞥/*ξ5e]%DWP%?4 ,Q$KM>w-S&"&:2JJ/ccv Kod£Z^eߢ?WjȀaRAw[.MսgYZ7zXZִF! 19-]ŗXi%9(R 3 vD_o]pW/i Ov`6{j3{zJhË1dS3N۵]aJSKka~D_z'?qyh.I:z-AH8c7țK'%("qk9UUW P٪1\F3 kc1~ ,ͪ6geH7ÂK~MUfif\Aq2ҙ@#ئhZP* _Mb*<++V@K69>͜fxRQGWvP=8Ѝ -i'έL}&gi); |*lIAE%XƉןq+<\ܿZlMs0sMqb2$0`0GvbnCgYZdaec42f60ddccfea4c6450298a7c00e11ccc89c9f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 702c52886cabcc5c45cde277e6070ed95fa786e5f7245d187b973e9498defd3929b58d7ca28c0afe   ZF-Induct