SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 L$ I/ Coinductive_Languages:threads=2elapsed=17.019cpu=30.124gc=0.860factor=1.777zXZִF! a`]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++i\@y0Gڗ+Tmr߹%h?m}$@8P'ySTP0sz͐O ezũ#a1 @*;?6^:?X7&n R_ ?k1Z@ P[hp 5N/HV2=Sx9  ?!Y>B-UsD"(e5% go{k9(~SYd g y*vMJ|$F" >!JX|_GRM"Q֫դi+520p/,WB vth ?TkaZ 5[}#Am;K 7b&S+x qiAiCus]o^gfxUhNY*"v[l];[{坚B$FpOUjO*ync6I/s2rrYT:RmMQ Vj/NKJ F{DS?y6s˺b*-w~Mpa͖օ;Gz`f&OBsM4.B"R垗s'df/_!5gu&p"P?'35FfK fa>aI3N+7YKǽLae|,E>Z0G  cق/<ͩ-ճ٬Wqfr.I]jNqV8g=%ϼϟ@#X'=}{uXi=-8 A&:xF+WR1l(P֘7hp*BC{d+ަ!y>ґ"*6\x'vx -Sp,w(Sb@ɑ٫Vc%A*"]z`W>Sm1XB_jJ-.aw1d'$h sߓT?CI͊*T}H8>YqVQ=Z WS(qe*-ŒW+e  5_߷3%cLԨu*Cjl3,H~# C{'y/n%0Ʌj} YУͲ:jO챖H4dƭw( ޺gEsAadcD8::tw+9A%|6=_YvMZ4X0L9DZ}A:>zN'biQM*{h猝II&!*Crk̨E]vWzi+!F+AMk>`GvkZ@g8*I9Ĕs1u>ᬷb*ҥSގA%I,=vqCJ@S,(XJ]LN)e6KY:z5=E0<|h́YCPofɜyHO7qEKUODzQ˂4@Bzl};=Nԡ: L0'g}G;f[9<c4v\7 B;kߎ02Q<+Sw\Sg"/lM\7݋,u[Zڦy*xˆ2]C6\T!y IN]S8˜>Vcg) DlnLU62xgMrAYJ+)[yMSA˃kdbͳ5 H:z~`/^(DŽ&7CU f.͌R+V͔#Kt`\/9]sִ #6@*.)VחiPUbCUF[hԌđP5'{87݄mve%;AJ=%AZu5 ͠c;o)b8V(xOíCp.D"8'@qcB^{s֧U4.ch*K5LәCl,BhC'#Si3dR>L"O' +gYZ32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2 f72b80855503bd44895e27451ed4972f4f376949fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 7 Coinductive_Languages