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  # t  ]]HOL-Nominal:threads=2elapsed=7.576cpu=13.440gc=0.784factor=1.777zXZִF! 2]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯cg>C 8U^\ƣMwԑ=-6u ʧvGF{ >Hr (8fmnEX2#&ݙSʇ^RtLl:ջՊ57C yx^iΜ.C6F3CB9Gzu ҙ;\i/9 E#TgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ XziME< )CZ]3J7bϒS`I'{J}YZ7zXZִF! %P]ŗXi%;gC{\ncxgCOw`U+i` ?"$)<|5ݜ0 fp5|6cY^ӔYbW27%ދ4į&<WL2x m _rjNfJjOF@c2 C<3/\R͌&gr:9Q˪?CWVs8Ҧ"׵9n1hdJ~&ܸ¦r#T82XRM-?Bʶ{ uq ZWBPS3L3ugۅ~^ټ^{r kh)D[I9SKTOԊJ.L~G(kI@,af-a6}RWg;ҡ&9-P .-|_RgTa;cMweX|`*CKQ" EQI t9P4,!aSg] AK&v-\:^9FQN(GXlOQ WaV i:Qu$4}_ұ8^HmlYb= R)ȵ }րyLyp, 13gt\Pkpm zC.7ۅ˜@!h/ }slq-ZWmRnN3OMm>.rrD)jp95""#C.JSCgYZfa29d61998367b8d6d8d5ff182be9acd5c9033bc273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba2215ca168d939f9c93e1d84ee5ee9184cc72d8b1461 # HOL-Nominal