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 k#\T, ]%]JNF-HOL-Lib:threads=2elapsed=1.799cpu=2.628gc=0.000factor=1.467zXZִF! f]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)s?8X&`}8Kb<D>gYZ7zXZִF! c]ŗXiɟ1?ߟt;9HK?.>e7"Ar){AD}w/xyQa4 \ppg/]MH55:gYZ7zXZִF! )]ŗXi%92v+]Shʃ?cT^u̸f,YP-esU^6jX놙7|Zb1\;PCϩs!W7Dv>4^Rq|^=7T]@@~ 4,Bp|ۀ{[眿#,k| /H#΋^^`Dm#Hإrʻ`ӲL>MN2Ss1;HJ?b6ik]\Zl8[&5 ?LN9ήb9Rث{ց}\]eh]鵔xAna.hZ7PnָU73d0yj@W! jeA9MlМ>w{xY%߃MtLsܫEVξ->I|M_ױgYZ2661b99b2dc5d728e58f1b9ba1fb1655465018f60dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c 6d50128481724861da7ef72bd088fc73f1b1a18aa4074ac49d0786b000e9df2d37c2151a5ce3300c # JNF-HOL-Lib