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 >>?7 D ]/ Coinductive_Languages:threads=2elapsed=20.774cpu=36.648gc=1.652factor=1.767zXZִF! ;]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6:xG.1أ2 Erz ⠠ɦy | +yF=V+`ۙCrVeb`1sػT4l"+?r;RWj,g9ǵkѶ0CMwǖ+p  ):D⾁W ӱrF(F4mdu}`3%LcT~ut9d@[UEPÜxkۘǝ5D[szA`HWO8 &nʎLT޲x9^j?r]nF :裑C1fBi0pɟ` fѮW2wd=#`VQ8pCF I潝l4JdsϤ|}LjfIUC',]˂C]^>T,D̈8WtyvbK4,mZ̤K|h| mukMKIېj3s vNL6Ӄ|E)B'tC)gdA@\ih LߠH]76$#~b0+Dd<вIDP,HuUv3icE{[/! |iTgYZ7zXZִF! qE]ŗXi%>g69=\JG:r4$Ŵꜿ)G bKͅTBT;u"xr5<3WMO f; t)@G] yD染 oT ^{xן*}ŶJSda[ shp`mB[| 葍'>C?Jq _ұk"ϟӫfW#U6~zCtXT^"gvdQ0G:Fl1ʬe&IRe9>9Nqxy_Is+Y[kLN'uŵqv7m!GlA9 {۠Tv^uRKXpHnHw6v9t9jv[`J (XB#+mk7jv\ {pJ@9Jq9XPMu0q*Yp*HwZqF(ܯ?ucUx.q3bS!|4O6O#tn7OcjcJgs.9qUw)BJ.Kk5=9y `œ̅)Ny't4ϔ!g8V;Col9TqCM_gM Z?;{98@ܕ\L ɥCNUr V6˛$fjl|N5S[wryiC?[1mF%73)\[;L9w^t㐎|laF*>Q$ߢėq `'gTL8!>1Pd=w1CH:X}5M9fx$_zIai%z'>͡K]qK3 d:O*l"F%/+P!eZZmYx# הwyKh*h)Z=D4xq`c|c7!a% q}f"\-d69dz@l b9kDuuTgDSnF^o?N_P%[7H=m'K"{L)R#锍5'kqE% [遯ed2Fb)4W:gX o7L}gE(ԝ5l/7Q3#]&r$A+ej4yeU979O;ؘ:1Tiyi"ZJR_ WSgYZed497c2a9aeb305d613b5e4b1b08d3ebf0c33a74767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 7 Coinductive_Languages