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  Td< ] IOA:threads=6elapsed=6.828cpu=30.416gc=1.212factor=4.457zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K~΃( ;d{S46i>ÿl.{Wx(~?/{b63xoĿl\Uw[n;@Z$}6e> ,(h. SY[bҡ炏)JaNwݮ@Q F2]a@(YΑD* OJdow TZ]'yUE#*L$Į00`m s/ǔEDB )dti`z 2S'(qKI?ThkցZ]:9\49)fW|eNI<ۣpz$,(j虷W=UxYԎ7ڏT$¨<%hh*븩C쫧SD8*5r{j\["9eQ',gYZ7zXZִF! `l]ŗXiɟdN'LvH۹մQ2ǪgLb",x/iEV&0Oe6Տ4vyMeҒ9dP# ~>bܹX sADi߶$&vQLwºJ(GQp5x&69|HΕe'& 1gV+ς\嘧ܷ 1p0"N3xQ{3:`^:HT=_'w]E f&xѩthzO%EW_߹5LD>>FsF(w[q {~>򩺖{C$S𗌪kFC^^ 3BgYZ7zXZִF! ' ]ŗXi%! (yFv,Ks?@csl+qÀ֪reF+G U994SʔQܥn}QRpyNsU7xJ_坴" Yj*O>x f+25Xzd[bʸӟ3̶EX`(V9KqwV_l2I587jU=R#ê] +a=ެ}疡I xZX`=3u1o7V7p3ǽu>:El7bXQ? q[MOdcHZyVvk(*365*mϭYʻ+!9py !%)yv`G⣵vg җW|+OUspb 8*3P4߀x1 'nY2.zl̽53h_ø0ʈ)JX@7jb*MDdkQAEKweCPQ6ŝ{n_۵a9鬒O#HQTA~dyO4tCA.kR 14Tb۩RW-0ϱ'fDDDt),A.o*( ,&B 3IDʤy,jXx1j,!5jP <|X,D9_Yc.T,!\CqvJhS-@ṆC)7aw~ZbnJ(4/16F䪩lsaDXOh)+f֣Kߵu~[Q|y`ڷSM9U:%<$s. ]M/<(UIoŬ%dނ 6*$dH_VTeV|kye}笩r]&L?=#ZV`:D K yufrv_iRvSV=yٔ&TJ?9@sAWJƖLR_wR~tF N\gYZ7e99b172835bfc973e3d4daeb68865802706d6162922a9760d947cb0cc8b078564aaf1bd2d436941 dae8aaf71c6c8be05abd6464d3201dcaafc60276 20c94ee66d7f721688d40454c944be00e262e7b6  IOA