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 W7 $l ]/ Coinductive_Languages:threads=2elapsed=19.347cpu=34.800gc=1.584factor=1.807zXZִF! ]ŗXf1-/6vRZyѺ-Gl5M*.~dнQӪԎv5yz: \Y}aPS\m_[$~RIa.KF~Uykig[GST YX.U[ ]B1QPj*Y7][O%QHQE>ǩ4hI~X [y6Q)ߩ*HbsjNl$Bh҃^J;1^}bgWY0eV9Ƅ %G^uS b nfXe'Âf 2E6 SUf&m[gNc/ؑ?cA/<QZ^PmV?Mhk9,؍VMղA1+ wsKKƧnDb7U?Xt9A  faA)Ta@ :oC6d'R-^;6eȠIƆKkCoVhn$LNU5MX tϲPcÅfJ{ 1_:VH5ԺӁ:nse/A8DTA.zC|wnRz04ǬSN!m=vJ5+$jn>ğbG'Ӆ_0mAl'$TdF*U|}{2!'3a*gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{]J?0;E$e"2A:WJŽoJ~,=K*P{w`y!y-hmȯjIOܪsL{2mq ^sM *}D7Q1BrqqXZ^})7#/ xiTgYZ7zXZִF! jP]ŗXi%>gQvS VgCl 岗9tպkgS>d4XWmQCפh"6/*D4|!s{mb>-qVCAww-iS8rQn9@8{>i*A^d9 @}'T!{7/5/ ,,UY5$,q"4Po6 ]b+Gvb2(S*m7I!n9:`>r^jî&B}7Օ`C{jg13LTE497m+Y !o(}NK2U 2j`5`%4)[K\]Αah.jX:OfklDoH#^bBrA+ȨFdGf6ˉɚl'a{;ިY?H4@V?(7ZkĨ(r/0r2TyZW~q)O˻J 6zcXqVŖUaU{g.^c0 +ɉ+g93mmf[=;|.Ot۰~kb~skQZ  ^$DwMsHynWfw[I7p!1!5KD_|PryZH¡;>^Qe%.|8L_;_WVeCMcu߸v:fXX-7ȟf".Lt&[ko ^L1_7{_Elg'F6aPTtRĕ)next ud/= ɭ ~  |K֛mcB[{II˥/>(]+Y:- T\ҷr"نWħi0->v[3,xurOx4Cd8!WPixďm+T)5uG5VI;Ue*M0HAX?ط!bc1k*^MjI ֆ>Vbats<vWڷB/?M$0&}zW%S9\pҡ ~g 3bɁĽP;W i2gYZab21d4615ff1c3b9aec5294721579eca2c65bbbfa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 7 Coinductive_Languages