SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 GG6 l ]]]ZF:threads=6elapsed=12.529cpu=46.752gc=2.932factor=3.737zXZִF! |]ŗXf1-) enȈA XR„k{p@̍7 i@F+*e)=-)h[w|ȯ|dXpl6aD:ܿ!K{88Pd۹'R]<ݬ#ġm1/+yo$CLÒS|-(;e@!`vm]ƃdJJϩdmI:z\ |۩kM _ǠWda oO%dO(1' 纲&z2VAFu\@`u;U"oM"uJgYZ7zXZִF! 0]ŗXiɟ 1FE`空+-vpqiTIHi>M4HagGrF-᷄waayRa /87TT8\nP/m1Ds"d®o|Q3UB2(Ebqv~=b%Py&CǮ? %?t }!"יRpi>/Fy73'ɍKc@Z&a2& h E^ afJ NP`_G7.&1\:+Sche#G+@B+ 2a40gYZ7zXZִF! F~]ŗXi%ǦdA憞FH} ~?b֡OkM;DyFs]SEr5c(U_tE߰y$ߎ YwN`}GѸSQ [ʍSc^x5&w}eqzwqPؙ `L~=ЮNf^՟rt;]x&H2EW#:Mhd.)Qlr⾃-maxx3KC3n7"RZҸFq3jbQ-{:X]!]}z[ J)]AFZйr}~˸{2@tir*=(c$5&b"Z!pf !`tRWڀѺhœegr$Xw$ KKH;ZP"TM?eNu2)_K|B#&H%ҙr}</z3|yOLb(U& Q&}HJ=N[D- %Rx62ڄqV90ȸK r 1Yfي/AJO(,sn~ؿ$Xǂ@'HCu u$i j!^b9إ3%P6CV2C@yFi{mHZF3f<_}O\!h~l> -j,; %X uns{ShUb3)@KֶT#A3N:|ۿ!.=} `q/~aӾ9mtETw Dh +DFIC:#Ŏ5΂$ypM.7eŧZL|EXo#Z L2=VFrersk?7Sin8t4 Pc$yAf,(,Ƽ{Cn&`K JFyJPvc_x {LZI^y -30/q7 1$RYb TX;g0ei=@vFyjhSU