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  <<  IOA:threads=6elapsed=7.230cpu=30.200gc=0.880factor=4.187zXZִF! M]ŗXf1-qN50^ .nEށܱsO.($.hg/[۸z8TDP"%">办t&pMZaי,HZDI؅ c@@j)H怢HM3i+O(z25Qf3}ߴnK & eb4ɍZ~;P't/i8Y.ӍaG6 ]g 6q~W^a?Ld4θM>>])49r? {bJ1 n0[9i[;e 1jĤȁf[LVT~E'1ii=ͰqbY;#H(Պ<$߅Q& he&8y!pK@x=>K|`#s=vLqOkC1J}]`TL)H PRY1YEAb3: V'brR!(FuWYe"Ī@Ӊ;;[a Ű5;;qAiOawݞqY|!2IG]25AϢgx0Fj ?;"[ot-O\)CM  IOA%8ɣeh FwW{{d\ː/S>s y^ Su!jFB&ݮ4 {WyE sD`ˊT%5GQlj̣Wx-TۨsȚg0[2n¥h&(9?6D+nQ8 邋I$9ZY[A7 Iq|qI$:u\O@9G܄WMǢNv&q*PE6X-_(1?f`w$bv^DE l]BMIUӓ|҆ %6cHBMQɴ@{7*e|囮.TXNZܤͮˇ]!ܳw?ߢ?2_8F/6hQf(ȫAQL7w[q + zɘ{)' `/i޳ەwU6Ymz)$BB; /YڝU~8`~c TOZ*;pS>Zh#xO`c6!$>pDo [[_jpO"$W7H;yE.J-IcHDIl -YRb/$؈rL{بOj*b'rJ=4 ^LegJ|D2n<ӊ"{JuճVg.YuQdE;w4%lKm_y y**6d}vxTʏ%k`;J"DgJ:D7üt2Jc)5S7;OkHOL˲n]jJ{3PE&uj)?7 C!?Kؽ.tWk \YC\;m cchZaGPKԲzQ.9Im슌|T+bC& %]wo΋XsB' jۃ/]Vx␱A#. pǽ{@{T"w]{&X9#%Nuǔ|A.ߞVEHF9AQ3(;PKyyg7lMN|Ʋ2y fx$.%IPEFd}rJE~҆|}\0ݑCSW|WyCad RXrʠUwU3hs_w_8"pODrjcWJN]M}U:h}bj9^ȄU,5Q3Hu *:g_M1˞} StUX~=$;p|EGl_^X Ms͢(&nVT1 ˙BhpQ({Y y21 ! 1cVśKȪ;Nwо'SC&/j3  fIq6b0+ _s,Cr?|qݸsxrIՏթ|k$CL:/0MA 4tPB CByk3#4ccx6"Nr]p;S={Fɫ-Hr7GCe{O$ o˛WA ݔcZ5VJRNB[s_F%# ZkM__PԴȝ9w ҬiߎENK<0|N>~ȯ#=JUc0YzW1Ỏծ+; Y-#H\x#ފ:@43s\o# M8l\+Eݚwѿaiv:}:fhנ ]r0nhgoww'M?UZ'_ FxiY ӑ(Did.kpO2K3xi:Xe&/a7b@2RT^~;ջR< T|rН4oncв "3{Wݯܜ{IlsvB*9%w$3|)Ji,]yy؍ .h{^<[xq[)z MzIc?$]^'!ȩ:!]R 3T:s 5EYzbth*H-ɭF𱚝CMțE[0>bG=Q?X|CeO`R.úb #]e_ -U7o~bOʸF|OfNQDAjgLR5L8F[peALVE f(4OKasȷEWojZϾy㯰̓il=D8Fxy$ǃI&KPxZLY i|(h[C.O&2D懍\ :UKa0{&W ć0Ydi2^Yl0 d6IJ.$#y`p?-#a">߃\!}# HŢIn:.5o_tbרBP<+IAdį˜"(XhpAZ6kuLc}C^AN٧y][I"z wC!^?eT v*xr5G͋HOeP8%[Fy%[Lœ]ƃ+ Ri`k]5dL`JWu`/y鈴'QΘϜgYZ7zXZִF! #MU]ŗXi%V!s7CU],%,} peq׮:B77#Ib l^Eļlfd.m,ItE#05#zqX#1X yDZ= }< 2D >s{ퟅYeڅ`  ZNK* \nz/_biI0m6Mki``Qv"I&wh<[]B#YE`8 ,+"+6r +$gM'`o&L FB1. }Sa>TpPX VE䉨 (HDuc]d잀?F18enVF 8+DnVCBCWOͣ֫(xlުQ K1,k{X^ d M(Ƹ75T.7Ӄc [Xs\㸍ju.zw%9L%QΜH8[R=JrU+_9(͸ZXQŖF2XcW MhI\:$&Lqb]r RMv^kQQčsҸktj<@d?P+඾~hkTPc;_45 k\)fhu'{rKDo.RwABl7;D7 HvW'SٴJ%?-T!q)gFF^pgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181122eca16bbb2d69d36887d7b69b1741e1b1f3c8a22 a8654cd4e3cfbb8cb93e298a9332845cf7899af6 3cb42edf9bc469432dbb4e96d36abfa2cf3ff1e4