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 ~~/Dl ]S HOL-Isar_Examples:threads=2elapsed=5.263cpu=9.848gc=0.636factor=1.877zXZִF! ]ŗXf1-q恈Cl68V< My9sŽϹـlڐ޽ύΐrP#_%#;y^$7 /`cn]Nތb)F /sSvTn7Q&:L \SqV?/EvS0VFvʒ_AC;xtK컠a'=^4=%L@NT{rn-FH~++IT2NFdy_8ƆI݃?DD/;i |F|gYZ7zXZִF! o]ŗXiɟ1GBSp26llȄ)sSd#a$^SėD/|@ucGwQޭkL b3Hѓuj7' !9ҝ8]zJA4VkjtwAtLvΧ={~&L?Л1BsӄlV 'ùp_4PZauxK*o ?jt7}nV{)qFM DrkApZ7޻ X!KJФ P6KWX;F6U:j V ÁsѸ:cop`.Bo-.A 9$i/֜B^Hȳ >|00g=ڨFӒ4G (ΪIto"^"լ V @ -d7(O~ Ot4'A1\qN`μ k]䷆f]N[H2x՚O"eذ2~j<a~cx~.R r.hrĴC*R& (Ju~U9F؄ V)?ftfe1,2a_[]A/p/:.fn(żŒ˯"?;3?~||b0NvV%YwgYZ11817444261494d1b5bb7ef9a133d2d940abc8ba3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4 74927fa18677453727e97f14301515241490b8d3 / HOL-Isar_Examples