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 :7 <|, ]% HOL-Quotient_Examples:threads=6elapsed=26.941cpu=40.680gc=2.372factor=1.517zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,Qz͜#Puѱ]|X#lrYROI\o!`=LC0bj\ sfzn;8.MBJ ?j#*MG))^)fhJ $&i_\鄚h:}~IfXKmvDLZ:%JkV$— HBڒ ˃.rWCO޻Gy}ݼrB}qD_U|4UхxwDU{ `S7mo Q ТCp=!Va(UՔQlf 1Ǎbtvv8GȭZ9 7!TZq#xNsFL<*vMȎwgܲЫ ʥ|W4C:iU5bA"qH(p=# QË^ 89'!" yI>㺧|*oqoK _SΎKlY51Nq(gd7WO踴ci.ɗXȍIsϋmɢZ" UG)w0 =8HgYZ2e9026a0bcf286a96f06f384dbe1946ae8c6bf87ba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494 5db1b95e54d8648ee14dbbb91802b741cedc9545 923ddd484db72a868dc8f43dc408c2001134ab90 8edf74013b6c9dde18f8cdcf620a386b519f0783 7 HOL-Quotient_Examples