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 $t\ ]% HOL-Quotient_Examples:threads=2elapsed=34.600cpu=44.836gc=3.772factor=1.307zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxð\gۗTeH(7+&A^_/U>&Cr/]ZR̩|LYhƗ~NߌY`Jų* Yp ˟!ߊA\gYZ7zXZִF! l]ŗXi%;Ky"B&{ͥFt-AcrAFQf*k/JʶLBF?xa@m Ǘ±{/o'.Fo\_C![8w/kHmK)H)=@m3^Ȃc&61L𾸠B/3̚ m6G촴C"uFPU89mˣ"l=;h%0A Ö1[m(*,2i=pra0{z9uFQ։q훞HZ9ULC/cgȗfd6a?P =y(aW|.rus{hN m &6Qͳ#E@bѯAa/lp ?f _ CnZ끪RD]-ßKL6 7A3fV}6O15%3v̅Mc:iYяG"s ?HnۓNgzPOhal[TTcdZ0uھWHcZ(9 B${U_,Hҷquqº8R kG])#RMcٲHk40S݅5M0:L)XeZ`Fw$Mt[KX嗢o9dgT+Z[0>sE5H[[Z2<t8'-[7&=C!j"WS6L/Kv-sÀ 14REV]d$1)Uk:| `K7)sZ+Xlv?™w͇@dī)1TW>zǭժ-@5nx1~y2⒕{}3t3+&$AiH#gl xӦρ윎칂 bI0&- sO '=<ߚJG4^M^5iJ1p]t&% "҈D[\Q`\y(V+l]3<ۨҿ9o}YA?x_m_JSBjUoagIJ