SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info vvw7 ,4 I/ Coinductive_Languages:threads=2elapsed=16.940cpu=30.104gc=0.956factor=1.787zXZִF! _0P]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+Ľ}(r-5& 3 25ΪiB+ȽEx%tZgXDœZw#p.q ^tC@⣥S dŘY:hX=Mbw8FZг# $uF ى VG;h~OV"m @tdt%aL#m@}i }f m ]hDLrm0ϿB Lf>,O]q쑗u\T(ܰY_$p/ JkW1&*gZso[s,@b.j<tQU*i&솴]1ugL3'W[%ѡp?zj>!SF+)WG$YRƩeJY 7 Coinductive_Languages*( ޞ,kaU-z;rPv@cD?/R;a;R 7e؉;25wS=%DW@_fH%KL^hsV.7b6rM|`*Z̉Z")ysHtLn j5`%ԼӚs{1A~`%d mlL83g|MV/!` E-0+.!"qdfބ걕Z( %)ض,BO4ՖvX 5dƈB],O%9 jYlq!Y<`gLb;BMcbPCF~&|}2qxK _o/B=Ba؋ꢳW.{TF}蒯]R0FS~+}$*XsJeے]qi>LE6칇4}sc`K[#I]7*Bȥ z_wf^Zb)%EѬj!Ԣ5 G#9$ƿq3"3 =4 FXT=Ԙ6xQE% r`^}s`nEKufZm^ͻsxڸP$f/GcĚi7(Ca55-hԑ9.UrX3> 0̈woV4m}ItH(-*U^#Aygyvh=gi>ݥP{0ESQ쨖JyAi-ceopO &wաτU@Ӟ aOh~ vl?0cִ6X`ӻM7A,`:dYPL$Բ -7A׾]3oDM"K&A''4D!41ãs+T~e0[:~I>I GI6]$}wen7 Ȝ<"\L+"-)ځ,|W9#VGcdl.dz(.nDw+SAC8eMܽ^s&X\`ނ)hؗW&I60 k5Z~^M?oR W,:Ds JB֒Ŧ{ODล(ރKQשh~?v4꬈ Vڴ1ń ~@QkV^+.{6A CLU݊c6CIȡk۲*Õ兓|h"e~ѿIҭ(}Rsj%1,pHi"? {T){p, 84E&x$Aʰ/l&!k[=;}|5b|xiRVDd+n4[9aÍhHt</VX?Z>\4uY/CwQqc[96DO0a 3§dX*jf3{$(0\ aSxc%3*E8ꚝr' 6ڦT؈W0Bua;fQxy qc@t-*5ϐ X- <*M'ceqJ?DzoT?h,` ?'jc> &YN$jH1oQ U l[(pW8A@Rd[ɜdKj,7?@ 1`FK4T03 zQ[g&(B {~ْzS}C^O&/݃S4qRw- X-U$' hX7 k !dբE} ȻOQ@Y{'%bra+N{/ ѩzgYZ32c698b051d070758ee310ea41dcd60cc41b593c 6c4b44cffa39aa21f675fd39d2560fd98c19cfca 8c3f98f76e059da6db66aa785d3bc61a80f5b332 90934926311f1704b675cf6475aff3f04ea39e46 a438efea6288f9f4f15f7d643bb504a34d38c343 a66485ae7a650fcc8fb19b37468f99c32e2b603b e6106d99a844b26f52fc9cfcdf46f542e7bb41f3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457