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 rr 7 <, ]/ Coinductive_Languages:threads=4elapsed=14.170cpu=48.452gc=1.288factor=3.427zXZִF! q]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{WW< ){>w5!ݭʺ9l.pym81'_rt0@OoMm2f[>m/q`Vth {m]i"2m?/)7 7o៾M3]D՝>LޝN@~B΀i OQ$]Ί7w2 QLj] lhx۳ jd+ŵ\ ZtZl].9(u8<~e ]"紸I*fPkvĞ<Hw(Bp+)Qg[e`Ύ5 9/U;"1~ NDa:9fWΑ^S)>(!,L@ XcqqGe/pZ 'KJh28ą V+&"ڇ+u²ꂛp%1d鈼{Am< Wu85<sm0%k(6_\>'ef }Ìrw!Ϛ\7];TyAF6ь.eiaO(o+5"x@#6iCn_8܂,[5AFc:23gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{F:N(S}%O,~$ڦٔpo,B(OlǺ9&S)k9&gΰ~&)貙TA}˕D=lP6X.OS+jA>ɰ i7LwrzX=:-iRfgYZ7zXZִF! d]ŗXi%B8_v dc'BYP1+Lzd͢?(kh7ocI &pւ,<Ǖ0z, o0\V{P77,<ݥlp~\yt ~νN&B Zzx`! ߋ;qT c2/^Zv6+4uXE}Nь| ܱ֯#ɓ [մ[ˀ<.y+'O;acd8t#-N+}!E걆9 j;py,3sj"eyȰᥗ}gJϸA8]ob9j:rd}V$P $xQ* ]"07rqo VFSGqά[zU8A`ϗW~r亚O|˺9AV̮qn!{Xmh#xϡǦ/zPTSi7 X _j@u=?8L֡B,9u!37$u֓\ Ufspo fEJEL_ x' Nӡ {Z}9fxl"Мuo[GԖ|PyE3!g8:tԿFଲN^[l:DgSW@^*α*_A%2hn3KZ4VCTtI{HOƮӾvc>ĥSEEu97UuO@p" QZ.eNfOc@) .^kIx%Zp,n& tzUc% nvV'YEvpb]N|_865?d4RCc'jn}u:3M5d?{i} MPDa F!x4nGtf"vKHH4O}hF|V*U H0$GkKEc>}B)ě\Y7 =ƱmW根"lV[O6<8( %%yR[S1hHH\Aysr5Z$/"t#Oqѩ-L }ǐ:3[6B[VqU-3ǯmayV)r 0 u lSrs#W9 R!ʌ)K"~`o@+f3#R#_KqH #TblӰر\, U@Z#'d`R :wBzr;w%;o÷Zvj|~t9J !NpH$l;۷  ?Tƺ>]gTؕW tDFϖ`rEq>oV\2c;Zu3 $%NP>u;]`?WʕUG|tvU$i;+8Ԕ8^K϶X@#&uϩAT\kG7FGm,dz>u. -c,iv{MW$Dذ3D;SYK!d[  "m6wg86c)^\M9+~¿a6`E? QrX)wlf$/c?JCκRp#H)rgYZ80609ea996d221595cbcf3c31564578feb676a21ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 7 Coinductive_Languages