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 /- \8Iō0FO_)7ƧsS)gҘrcXa,hzt6'#4b0S\am*F||Ew2;<̐#F :ܔfV} DuR*&S2&]YK% *ӮE 5ua*O4(f/P6-whb#m#u@sZ)MZSBו]Q.#"@nz'~"bS4kL9% {gT7|ngz6~AU;S VzUرgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTt2ϥ;O L<쾲#tw250^Ώ~zdlP7>,z'JE(d3UJPBbYВ\(>}v<XD½}[+Rk)Z&Btd}Κ,<-w=`5Y\-+QA7w?We;΀i?pպ/L#gYZ7zXZִF! h$]ŗXi%@h ьrD.'m47 >5"=7eӋ(kESS%hGU˃) 'lrR5LlRlk0J ӓӜ-otOQLFp!tgɃVu9Ч.n\ڄ#X3"2'R}|GSDy-B0愄|5ԟepu, Pѫ.#$};l`Vnas J~DzKd cpDQ'z8sj,m@Lٜ\z|-/UazGNCy dg@kp 6F_vd x[]#P.%.n<]2~d a F i2bhƭjFTz=2Q7~bbW\?yl"6ORTb_1R|,:11Ll`ԄMpcWQ6'r[Uouœf% P7 N]0mQ%=bn椺5*NW#\*cް_Yq{oE>…ͳ#ٟ f,+2jaF眀'X-Qv}p@0q;=gi/Ķu=l`5.>Rn:@޳vK= g'!Vk9t}v9ׇ>xAWS. %Z h$vD6Cچf$Ppjg!n !D nz{"O;:*a[zp9V`f(13 !+1A:2m$c^ MZڨCovd1!Mdv,pk]Zj2Z]&aޗ$u38 K##8AޖmaBZq[EG260 |LsAه0+(}:Iwr;QpX,nU"@ O!Ge{hzKJ ċUl{9y%5N{ rr Xվd ;@}p7T|xe)4H/|d&-eM|$2Ėd!Q䁴2xh]µf BDc*Rm2 l@lBR菱ITRs%W(@ ȓ[9RǍz! tyHHU+w`ᶠ\pJyk?y,GQy"Ǩhee _HtNJ!Xߗ% 7Y{l#~l_[r)L e'\Ve/q( ȺMzˊ \S[d}OscწJRz5a59VVI{ TJm}VNF8o΂h0QR&^ & ;r˒Ip +!xtHo@kɈ9pNkϧ\#<m 2R_XPJ4w=5sЮΈ\']-)̄lJn&frU͗94v,c nH-[* aGcA[vYM* s[