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 EE8/ \T ]S HOL-Isar_Examples:threads=2elapsed=5.721cpu=10.652gc=0.740factor=1.867zXZִF! =]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9XMIYi:#%`c@vM(v^:~ti 0LIT:ļF3nޥu |UEx2EUStg.4\av_PFG}+?*<1x mYcgCSs,6|GǪP2&)]{gYZ28c040329ad52925836c51d23b4a13582b15e7b198dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea 462377fe3ee1fbca011d343562a3f5b67e8aa86f / HOL-Isar_Examples