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=21.522cpu=38.336gc=1.552factor=1.787zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\,W0C?>L&npPf#nBO榇AY-T[M?vܮh fn?MeҒ8(쭻.xjFn7x6XqD@Sx1fK%\TO ^S5|=b!{ TB6byeo~Ţ}.2uDu nVh‡uUo>lq@VishRd/)sn"w4@/qw}– ϼg_}ׇR66gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{ou5s~&M_{, A4Д;2ň)5#fb*R7ksoU}3=t klmBӚ*bDq.5;NoĘ1j=P\V)abұgYZ7zXZִF! vLv]ŗXi%;C$M"jJɠ_fcDOyFW'ZUY6()ڇ ;=:LG{-n M*5x6(ABvaQbW,zM6׆҉L&{tj=qPU:ouw s<=ؔ2WIb$dh\av=#O^Wv~K%?U!0*V:Ca3]X1_= >[`%'WsY'4E)#S{|d?2 `蒰gq%ua}E]\4$I{ pT[BBHU>-j*j^moz 8N]\11..BC{ wo*_G*K|IJtHUf'Hvǿh^TCmd//մ++pp>]aQmߨD4&+ыDT\N[#@3["rZ ޸[g-3m󤈅uq0/`G#k},,v5xn #]9&"CpT*v7ɳPVR5PjW\ AɺmS'Φo*^X^g]Fz7cR${r7'GF2ɀ{Q7'9AϿɗo ׽8 XO(Z¾?@*X3ɕG<Ҙvg*Yqij斛<%EԁRO~8eLr199hwsZSaSGBcDo&GH n;R8 HaqdCG^xkL5"ι3K`br`Xt}'c_|V!r-i 8\28 f4⦗Ro$>eܭ[/LT;j\|ǑDxH < \ f9Ym#θ73 V>dD^FVW%զ(#Epl5ü &ImlC"y@wlK {ڃ\gg?8"GHs&0 Wgf;B#-Z7UW']r] _8-.ǣF#&P<+j*m8|৳@ npI$_en ȃIwobgs?Ln<\`t] $a["fBrfG!i."rp\e_ >#%ge}/#1;M ,B3(!H;_P~eoȢs1䱂2ja}a!7$TTLTfQ0@<]c( guEM41W t[]D[htp|fG[2LĮa4 zVgYZ5744b1fae5592404f0d795ce999ccd326b81665fa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 7 Coinductive_Languages