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 --P7 4\ I/ Coinductive_Languages:threads=2elapsed=17.130cpu=30.764gc=0.972factor=1.807zXZִF! _Q]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*L$" nK;>#[QH93硚U5>3mܯ3Aks~:@Jc<)7Fp\)y,=RPD`eeA9>y S~EWݠW~FdJ@{XϖGcJTƕ1JZĥ*!m\E1PGș%sM7ݡȬ}#HBk%O>9TAN'7'HgV*+_=|d9Dq|)/Ŧ])IFq9˯6Q0Td }nz5s(]UY& 6/?L#n^qF®қ1OIg #o6Ͳݻ `9p03e$׺ZABR?ɀg.tJKF^W>G;AdlONBٵp$o z- BLiIBcA8$4[&n~6hjulF8F,.w=B+1)Uui𑧖6 D{K*Q5iiQU5Y)e|H^$4Q%J֥ܳ_pwc Gh; GeMp$caդ3gqݽ qs{kD IvgEȚjǪrs.,U%7 wje++!"2uy; g-lrڃ< 4,DyYr%d\ +2C(bKY#t1ӫVwd&"M5B&u.@5[$K.WGն&2x/PK)$a|ˏn 'luϋД|925oxeojC8R#ִnjaTy/\)T2.`A5u}_ @ 8s,|)9Z~G)iN{eKNlO:|N 4A C uf͈-E/u:G*S?:?k,"6# p砽J2b&E}xE,2mGl_Uh:2zDXM%2rإ;{{N;M.'uGӬ.4rny2$䔘JȖ:} {q(&# $quk?b dl7VR<]Iŷnb *(UYh1rAjYoꘇ3~ ~&+smboamܷ8( f+% dR+2|t^]++wqzeK DhHWMxe*M+ׂpPVliQS {} ͝SF d[ $І: 1I.)`$ ~ Ka^j닡2xfᠾyQ"*Y ,`8o 'CZ ?c}gYZ7zXZִF! [x&]ŗXi%@qZcNd8"jl,,<=/ڋ| ,Ij?87~.AHEcsOV13|\MnՅ_@x&VlagdֲT gB_;cHksck0p,Z!,"4M;pW[R1#ݯ}xB䙠 Vn!_oL? c%#,ie^&hlb͆spY9k*k`u*W2l`kZL}H4" m YGEĢ‚޶ ?LK@Ȧ\tcnzH(Aoz0-^),|tִNx;Q(زJ)ѝ#\_+ǨO]?܃*vy 5a ؾQ@~ NUjGR?Պ)VaQaT<}n77~zd" %i= 4,ա۵.ոՎDY }BbD n&J4hƛ*G, eއSW"͗#$M1ϯF rt1H2o~ZσC a~1=l#?x__ ex^E q itTN17 !a6qEշrZS:É7]~T5>vSL7\͌5rI_`UF-k A7\-i}גæ3]ήj-41Oǂ *YfL& X~W1}IDA8l`8չ )~sXh٢"S>xbYsIbU^{oE 5Hȯz  ;nL<v" lL.ȣK?u%^Tr a zCb9%dݲYevܗY(&GqK ͣ6jJ^C7|Fܣdp [NxkN >p6>2տsںfv' ̉@k %]n(.,Z b LƼ3"'|8ԝJW M  cgYZ32c698b051d070758ee310ea41dcd60cc41b593c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 89d8f62af42add378a11d94d563e9cce40bc34af 9c580967da24d52b7f0197b4845b4404e56acc0a a438efea6288f9f4f15f7d643bb504a34d38c343 a9638f140c8eb39cae66b73ac4a179a7fc3dc9a2 f72b80855503bd44895e27451ed4972f4f376949db7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 7 Coinductive_Languages