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   s/ DiskPaxos:threads=2elapsed=56.615cpu=82.308gc=1.064factor=1.457zXZִF! )]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21DFk9ĸ eue] 598$"{ @5aDK8U=0m.g,?kHd(!(:-ju#ll+Q%qt`]ugQ:Nz TC'+?Ĝ/j1BT/eTxcT.]%$v\5{|2r#w+7$^;ZN=!_݉p8{01i.HWLE 0Uyە4t׷Sv+ǜzk|RRpi- v07V)oɳ3_Mn` ]NB v}=^t"Cv; ]HNDcasYd?9ǿ b~M}rB^/ ! E@dz,O"9F4AUd :remfRWx r({|V3znJ7{,e=_ m"ղ>>H|35Ybw`vD\7Is+W4"p*S"LgIoh)HPdr7Q9Ѝ+ yr!:iڳbtn>X.#BY/s4ae* X ,l2,b S7Uc2<8n"2h7Ȫ,M ֶ*vh< (ذ-=9RSĖ>eGn*qi~3I})S2ڇ 8fY   DiskPaxosQ~bA:w_A64Mɯk޸(ڽ*,S\gYZ7zXZִF! z ]ŗXi%6@B?J ⵐcKWs05ǀ{Eߒt7u*V­6Df!>sVOฟ50/f bUU3i;V<0)l͑ p $gL!y\8V$F 3*>Iȇf:Dǎ(y aicࡔJL Gqz8MLk69Y|,7U3k~\ײ,Qֿ;j'i$"\9߁V{F^x!-q_DQ{>ja<) KR lYwPad:.X22`JKRqE!& D [֎ A:2<A!M"Zd,O*C(K $sB*>lkY  Rbl Q6-gtcYU|!2za* e{{X<>c~qjÃ\˂̦J@"@}) °J~{EK-DUFaW@ be!X {ձpK wzAԳP¨{Ne3Y%>i {wuϲ[8 * s;+~_,t2۷t\U/>AOViwz+ DMċkbr?WU8I{ZG:mIbȽX&Sw, F^q2RWd|&[ekh+b5 RE֫e24uJ? u"kyf*Vȃuc; 3%t+JrT J۷m KˠI7 mh^_()ta;xfN٭#*0գͰr(ֽaY+L:ι(#u]yV #:^c=j0n8D!bVmJYܼῚ*l<,"ˇsf RV2Je_ ٛ]Y#n V3Sr"w^^̞\x8YX  EߍhWaCđ?>wߘ|٘L`)P:rGe0c>Z]4);GF>U-Yú& O {t)OCW=Z}Ę-="PA_pydiJ50k0VAx*Aܠ|wg?y==AcWYrb !ܱM.ُQ+itFr8/:. :!DV1[xYEboM`}'Bʗ՗KX&} =2tOYLHʐ\)#$=x؆rf E?mMG%;YxƊUY7@nE%jJ+814i^u.\g 4m9MTM!tY"seV s~F}jVJLy8@ : 3I!s֖"sK.QI:GC"׃)BzWl]8i@ʿ7SVa ׳XN>ܠBUJ€A]vk{oDΎӚ_QMI6[ }ݿsѓ#v.8pK]e \neoY}YHEA;mӌv(|/4- F"bzifSZ!gM`F^9R)t3]$Ȓkri_*i#0\UX.ƀ.9τV`]i [)ݛ,V.jfC!ۘ rB_u8$|o:[I^@%{`UvC[˥K5<F75HijVI[>1ٵ g R?wCBPƊ"H9`"Ci91Sݪ@ I@(H*(+%I%0zb_@DA],ɉSG<~SŠqd2D jdL ~oԢKlx.q_P