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   ^ D4t ]/]ZF-Induct:threads=6elapsed=3.135cpu=10.828gc=0.424factor=3.457zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N;#6SjFW%7qXWkL j8 ,4pN5VNOL+A/$*<k.%n27po}fmEQTr[eśc @>rX>-dE`*.݅)ZީJJgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~` .]SҮ' ˣUw~x8 cTy|I[}/w,Tqg1X.WN g\ &WVn# KN:Lo/pBɺ2NBdJWnz8kSms vpQtA ٞjߙ]%6:ֺkߴν) ]y^rNZ2t;9gYZ7zXZִF! 3]ŗXi%;ŵ}ZI!وI4O)iMb⾤y ﯃%@)DqO*3`i-B2hHv*y>.cRnWK5}^m^1{<ؚAĵ'v]ꨂzeH>^%Z_WSrjǗ&X `ս͚QMW،4ohfXjY3A+m%XH=0ᾎ'gJ'knwT9@[%q0<%vc#$.X0 0ARcQ PqcJd%gYZf11ea031cd031d7bd30bfc685a78bfd554a81d856c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 20fdeac60d9e5fe7243b634f47a6fc14507b20a18113310ad76b9f9390d9adda3d4f1a7f25599371   ZF-Induct