SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 aa' |T< ]]HOLCF-Library:threads=2elapsed=16.154cpu=29.180gc=1.360factor=1.817zXZִF! \8]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&lNs2IȄ6+Q?2p]1PݿHmct\r_%yQ_gS7t!T'R;FN)Y4҃- b鑘,K640>ǸM]( /^!ϋkᄅ6f=Kg9*ʹRmݾ\ կB!3օGX> ñ,9Vfre #q|!q(\ J|6_ی8Gkj?ykr"m>]ժu5i8ð6@˂[65JCZ&8o4cT/76Y,&G;-oKH> I r 0QIOo*%_4ARr:Є!=7F+_a01˸|R`"0jq'J'f`ndNA0Y*s3Vu|d[hU#B8\n[N?):YG"5/24kzgYZ7zXZִF! 8c]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0KݜG/<אyyP2K]~BN=eEζkyG[牁lugm}&b?sNd !sx9~XeBɍq E L|,|8xKw}- 9mxۍ%(;Kv-BޡI|r"N`ҼCD `^уAZ=lu{?5a`Թ[k~>cArSxu_);=g!i/wJ 1%q]0v Cp 0gYZ7zXZִF! M:]ŗXi%>gFE/pnY$`+*R̖ɉѽ_$ma]"̙я- 41Ť -}qC5 RV`cHC<~MŦYMt>ҵ.Ft3zuAZzoXKJy*N"K[T+OGg%BC5j^>d퉵Hp2iu-Lx|^vـ~2ήŐH*y[R{O gcux2.ɽԁcٽ'gC Tv ʾ;FqrC<+#_)/V p;_'-Š/6y~O&T"}PJ>1/u]f͑.GDNK=]b>RM z0H}LQyނtO"wI/Tim#t5G*Ěr U3yY()_EAEy(8_dۋt܂]x:0 z"h%W4`*w&O)s5T(dӨFr|kFʙ܌C *"K5hϚij[\mvq*="/n_/<ꭊ۠pIzm?}s?99h,$-$+e2m|~(c zE2It}诤.D(S~^tƇly{3z?-0.v8u*Sv?sj9eۡ.oYAbOX|׿ݏO~QQfFrQ}^gLqdfQ_xe%/dT\aN90+h=A@EA<BCk :Eߧg 7+ŌE4WPɅAB+xa!r[I?0 A&pvTP+Q3I7n]