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 vv7 |t ]/ Coinductive_Languages:threads=2elapsed=19.859cpu=35.224gc=1.612factor=1.777zXZִF! A]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\mR'Ӿi;xo;@WXAƈNQeC)mGyjN]GlAIVm&Sg%w{!^^ "@<%b{T靖)lo:K}3iUc"){Y{5?w\ŞSƒ腷e߻qj8 XjU{{׶ e׹>򺌋I,JWk2aBk# '0CM4 kis0& ނEt_d(`uXi*r~ohzVYeyC م"ozeqTS4$e}@޹M`w%Vf#[q9 ̫ 8G|^LO`/<;GMȨ6Q J&LfIy=[kxs@ӼI鍗4-O{\!q{Ảa` cC-pUuqJ`{%ͻhn<qN Fpl:a/O$, dL|o(V/LJ_" rz Z5La3 `SLJDH!uDڑ4. gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{\CWRZ'9NCbrkTN5 'k3MX;gYZ7zXZִF! n4]ŗXi%;38.jLds &8 WqD-Ub3޻޸: wRRŬ3Z[F`:,JV0a=*ҍIHd[[c{ ~kJKsCyZ{ <2IU/u̡"8^iNUt?ߡ63<BrsTMOQ^ )4Ѯߦߘo>kaߏ άƼ%B[\PJlٓ|P[#)$RڿqNvtIvE_;Rz[p4fXҊF)IÎXvgDIIhk㾴D5hK8(\FOܴkW'^nlRjZn&CtS 5|c 0SG?UHXɯ1" ~ɤ3-XY |F۾qu rJN&~kٝ`" d= #5 ]"ve`W7˳9_̧֬7!lE6prgqChWU=2!⋀=&oLd#_{#}ϋˉ?+d\H0m6c;E9\ަ3Iֿ`ek'`V _įyơx1pg~CLj8vef[u9s[鋘頟I,&7+-"F tKSk! #CôQ< >Kv~Ƒi>Iq +ߑ"Oz1܇G@3C7icvzƛ<02tc1SE8\>t땂iԈc;*jmtՕOnO-Ý7U1w]1)L._uO\d4/d⩿uX\d##?R #2q?JL^/+]RzcW *;0Ym}?u/ )9+!_U&=f!u8lִ駚T tZөu=~=ʂ 3^@Q :!tg&oCy.kVͮ) e5 5|>9ӓ/䁘w![6dN5!an]bwCҗglzkP8g 6ʿWv`wױ&w̼9L&.;/w1o^k33!RKe29k!R`o1YBۺjiء8WMo8Rg@2>sTq ]Α5 4^~s!2rU .+̴7CZM *dW=)V D agYZ5744b1fae5592404f0d795ce999ccd326b81665f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 7 Coinductive_Languages