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 44A)4T ww MFMC_Countable:threads=2elapsed=65.880cpu=114.704gc=4.332factor=1.747zXZִF! J]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%OġW*1Hj.H4_( Z6X͐ӕYTGFr۸H̪&bhOozU\0W\xM袄[ ]6F2됵31?kzAO-ڎ:Ͽ ˩t>y&)N.P!7 lȚn b@?[\1L~RJIB~' k)‚Mm)?lZfspb Z59eFHbf 3d﫪uVO:ZV %;*WVgG)EOY$#R*0볛p:_ﻏ'e*V'^U.#Zr,`_dx*vw"+3RAۿ!,#55ЖAojQ>G% |T$5D}8_ uuƎ{f+h?6a?( zr;;uneb - 韎U=*P3pl#O!G}Xu 2wcP 5@V`C:,$4%Ҟf5p4B|bѸK ɎX+gwdqbLWk}w̫%F #55UDuǒk;.Ψ)N8XtjbJGgaٴX4ssF"{V˷ 'P) |"}p3##EU@.&Z2&O|f[ƗV9 B2(_#RâڌAAOBD3 Th*t 'i5"Β@ĘⲜz VL)u= =ki1D \뎣G"؊}yi9 ?owI:b|h'Pv։jrY+KӝF)AVj ɖ4aƲD&E,";"xdgUщfg,Lx|4 qxpk-zgQ9EE?U$LQD7`#w Jy<\|g-W`.C.N y,3԰sN`_)2:m$$Jċ,IQ|4t:.eo#ѵ ai xBƿBVLV=e{JMFrU]HNަ{5N9yweWg\] 30~]( [܏u3jaԖE F&67SxS#tm^u}.LHڿX44VυC+$O IgYZ7zXZִF! J#]ŗXi%6}yYu᧩s(=hqX@uVYC} _T=? CӤwÕ,X (r/lQVXJfiQD?r}-e)"([ȿ8*" t0nYD₌$zr|Nz%b^YQ:6c;sHRBbO9J6ǞuLgԸh` <9K0S#xkx虠q98̟nҹd>AU ) MFMC_Countable4~ZHΜK`V6bbrēYNbEIy!ly iDOuuL_e: —5гWi.vix/sMF!f: +lNuheՎP2x$73S@{^R L{ +cG;J\/^TA+!r[篑@OhTrj.")ԑ8AD$zxmnClmdcJ# *Pq4d$KqSŮtq'rd(j,DJB/[ZqSٻHk ӐKZv⿗GZOC0#d{6t9d^|ac @3@,`_hmQIQsb~s$޵D-DS95R6=o^02kV7R̒jZni8,n3V 9}wDpT;KM-#UC "gF.~yV:i-I>5BʣrWٜohOk>L+ƞZ Z,|z3> ( YB62F𬤀@'eݾϡb*6ugeݶ>Nkhr0%w#AOr=c er1cG6$G)>C$7Ӎ_3db<#Ea cM^!=_|HWSNۍi@.c%;lgFc*te<*-' BZ7 r|,Ꙇ!!ٯej8{QкS͇X<&FP^“{ *L@c]jVc[y)SaCZvn&,4~dirMncb_ gwT3'Y5]Qp2lL?SmX~̱ۜ۠m1+U>{*l#eJ;k:𡟶uE;]Jvp.j5-ue("&/϶j 4;\1bw -+TѨ d';((S %pSbA7ZpkoĎt')j?M{<E P" yE /ӸC\u͵e]_r&8Tݭ>d ŽPh(JA+a7ޅp>XïzBOV6a34OTx!ei;c5O` b={ц/i)CMYnM ΀Vf$NJX5DX@FH}w[/(/:E6 y})1 x״w4/Fe`y٘(YIݔB~VJXؾx_D*+QtܕS{OQ}#U9_oxC 2]pG~mq'"fYB;ihK+7*,~үӓF,[(N*d $:ZWF 뽪N!AtrJ}Kb/%q~Ctlo]Kem@$ͫ-<{Z̪/^&ZfP%aLi@R]gbY]6.7Ax,D?2UqӖw=P-_>fOSqYVX9 ph;CLuoepU1DܜLʁ1F!Y =Hk._mS2IͼDe?hر0ˀJĨ6B JVZ;IJn{;T }C &^\TXMq;LT :ϿwTL& @>\{*\ӎ鵑&Eп]ڥiʇѼ&k}:מ#t\o",?yZSo?)տ:iAMvslS̕]Pĕkmj&AkY v DC L?v >дڒ4}i\@f](}`vHCV{[I>'E*Ϩsr4q106P߫(a3({Ql𼑛T )L j|g!heVlݹDžZVI0u E"aBe}{:jhE; sC{q#rSұ^t@ZmT7Wg2\F'WeÄ?'!v)~žR|%uKlzmF/l&^fn7Ro +A'21mov s`-ŴJ@ wWY.!Ve|qznic382 O+~ݤ1ŝDb7/,dKxm2(Nc ZÓ%2_yq1"6=G)~zw܊ΣޙNiB>͡Rx FĻ)NCHld``W7du#v *..8gRn%ԋJQX3OXu. ~N~6lpIR+qoOknGg߁ - hFрYDT9XB+/vBTl/F6<0Z\R?~?u fR1c aPB^L 3oo4R .MXW Cok,ML%!i;qkvQ9m3!.VEmnTV;yP_OI ޹2}3tS;a%5.pgYZ346146238c66aa3e706857a5da86223bedd0d725 5e2886080de1faa06657d403497f877b8013669e 68868f13b448aa6ef9d76ca42418b89ab30a2176 727a3bc73d01adf44a32e16a42e3681b2739013d 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b3b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 11947f4b2adb08e8af64993dcfd8ccce3f5f6066