SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ii |$ S/ HOL-IOA:threads=2elapsed=2.605cpu=4.188gc=0.116factor=1.617zXZִF! d]ŗXf1-q恈^W.U?Eԑ1[ǡMUX\!RHPR={֚O|WIh:70e&k[-+xP23ZƝwb^|8Q fiFNʮ`ơ4nQpW*?5+?/GFj e'^csHO`pg3iNj/ywR(:84`(rSTFyˇis] .&RQ.>fBړW=   HOL-IOAɿl:ENc1⩆CV%(N ) BDmV nl9(=0iGseREŹViVn VL~hRBu"^ESyI0RH'vg^T+"XO5e/)s}n2jH.MԿ5QQk^vS @]O[{(7gYZ7zXZִF! ]ŗXi%B\hn8$qԻ 9AM=jrZEԅ]FFѿX\FOAnZ=4ӸVھR=6j_jeElsN%S iE61-J_ίx!iA!UG~~liBSrPHSH;ЄSn_V8K,"ڭ JQ (Kv [(׿aQ=~5>QL ,gki*