SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 O7  \ ]/ Coinductive_Languages:threads=4elapsed=14.268cpu=49.536gc=1.320factor=3.477zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{n1^㻕8e&3VP1~JWa}^4 .R@=gYZ7zXZִF! a]ŗXi%BoCY:A;ۃ<_{Y;_R#X ^ 5@ns̲dž1+ߙM_SwׄZZLԛ`ޙ1YE = S ڈ\6L. ˱\A&^ #9}V:Gyߝdact(RZEKqoNkkm [K:V G.=i]rdd&k悯Io|]}b(R-{Fx}5|veD~֥%{^?1ϳ$EFo=%.d:DuRlc2AmZmvFw>6w$u1 %EE*9ܰsPfg.>uK[}ƹ4wt#Q.9HwD0Jd8nx( c ښҨʶN!M > vcVfB6D1XjmY1O+[ ¹й(OO@ :~|ib <H\ݪkj{i罕/&m;傴l*NL8ZrV[o;k&1!=K AYvp%M@tɓBN2^7"Pn#ATt&qBuMMo 5CY;bB 27?Wl A+&<Ũ 8tf}-SІ>uMv&SG.UJ%>[>jz>6RU`x6Q3X)QU`˾:g[^ޞ  ҳf+K"`+;,U#}I>v M<ʔe ggُ[bcB {Q5.m.z8}+x?95-U'ʀ7z'2]N׮^K b)Do kӌ kk{-"_̉yv`4kH6σ3KI5e$釼X11(mZd͞c5B+/Uu ox)5q6 g0)sU՝8߄އD< njQZunw\.goh] "P=qG0/i(V*\e sRZӡ!eQh+dwׅq ɿlwa{ Dgl m5lcϥJ"#p@$ Xģ|TPͰ^ AV\%ٿժ3uh-A="K6OYmVd"7}A ￐`v Xg-Z~hg(Twer3ģPP~z'$˔D#Ue5 /pW5~)B!7%Xwk^.]H24[Q`z<>&\CK2%N|Euf*Ny BgYZc4d21afd6f6323d8e165cdf8b735065341146e48ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 7 Coinductive_Languages