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 7 T I/ Coinductive_Languages:threads=2elapsed=18.136cpu=30.500gc=1.044factor=1.687zXZִF! ei]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++,àmKez8={4m̡zYg4/[j!D\$Bb1ӟd`u`C֟2E6=>;)Ձ=%eznSq y,T:ʇ3RhWhE!0T῕wNgD%{F,Jڧ`/F%5;+ndy 5g嵹BGhtӒ.CXza콊Op봋f JjnGq Q&y4!a/˂AS~ U{8l]pm$j}-Y' i`-΍o$ y'j>i ̺ӢRYSѠ05ϡ,/h+ }6*wa5R!-)B @'Y]څ-huqmcmc;'n3;硿-"4k%͋v?9Ks)Oo(\䕢ސ H[!ix3pc,(wq:S= 7 Coinductive_Languagesh2h'p"C Bo81wvj}ywo=b ;+'H Ex|D|Ɩ;蜕|S6}Ak'o6TGCX0G {hA&µZdz1NPtob*]'YMTw]au aʙ<6zpoX5Rk/sFk~*]XĤ[xPQ9jG,ɿٲ%T tK}y6Fś+BGSR&n//Hģ,1*Iݟ灤u)c+ij-35Uo:?x)F_Bi)~*ڸK쐨r oFg8(qbٖs:ip咒I, Gx=>[_(!Z9H"X4lGvVdFp̺3Թ\En{'G!S[ºo-1T¶b(ۋ1F/ߌ uC_pUDwxЉgػ'ywE"1%󨇻_NZ33~7H2ߠ@_#]):h Y@+ޤ&cO5kD%HsTrkt]nBf;H!zNSEIe]=鸆gQ6#KG".F3N6,bUԧpِj6vMRNSq3  Ě5d}h$!58(c ntQ D5`9Rie/e?e{ѐn@}"*mc1])=H紇頲b'>}ꊝiy rjsy6@IT )<}L 6uݬt,z*s 61W魙m˴3_WL]{ +J&^MnXv, VǣlgYZ7zXZִF! ]$]ŗXi% oHQiHG16,ddT!C |9[*MEqj!é݁6_Nɱ %1ep(5MLǥTB%˫Ja'9x뗵N|(:Jfp>hJ@[`H\XГ[97T, Ga5 P!;8hpKS3 gdr@!Wy@K< Ph-xtt,K蚝:7G{t7?=!I(xE9hk][Ҹ݄ )m˘&Ho$/hxOHӳYWMnm*'hpk}6H=ʗI Xpڡ=Sa:A"ĉ<*̛{-ieHTXp]T {|: 苢nG-(/!.TWֽ.KUfG>7u40F"l~!DV\>}ɥ/ "U 3u9bQpM陳|0:2Fl?3C푭cxeqIU^7.yӵRά&e*[Ş%yfpQZ3[. hʍ #!['+ewb:9Tp̙`JT3Ӎ@ԎN[=A<-248Įi X`]ɾX)]Ą`PDIm.eӒϋ;IL|h:]cz ~,uPS3VROg{)zr8Uj/7u,lqͦgt7W 䧮X}nhDh/IfG(Iⶡ4w%9~3({ҺyoQ@.žTTOnrQgkߗm'P`˱, 9z!3F!*yB됱kgn @f=8.ּShڗ*< ǻ$gYZ26ca09593baaee89624e699f627473d9ec1a6778 32c698b051d070758ee310ea41dcd60cc41b593c 90934926311f1704b675cf6475aff3f04ea39e46 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a438efea6288f9f4f15f7d643bb504a34d38c343 a66485ae7a650fcc8fb19b37468f99c32e2b603b e6106d99a844b26f52fc9cfcdf46f542e7bb41f33b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd