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 1 ,, ]/ DiskPaxos:threads=2elapsed=58.457cpu=81.400gc=1.000factor=1.397zXZִF! *]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21t(+-(YEnؓ4~R&L{.v'عttbE0i=YtT5*Q6"Te1-0z-(Ēc}. dS$ZXq moJ1䋤3M뀡طʹv7x4zq 1Dge  ":\x WYi^"|XƦ mA= GIP%xf,i>Gq6sDԲ4Mv 5fG]߆wcWOP<ÌP _   DiskPaxosV`0ޡf!s=N(IxEm5!f)rnwJƙs\kG&TJ߂񖆘-fӳ+N/~x)Kv}Xal's.˯@%1I|9ަ+Y|RH<-@|YQ[wEǽ4g#~\I"lp=JRR2?G>.UKIc5hn>h"%8wgwy9(4 #Np|O [`Pꒇsb`'DˡTdKlUk{jA8,@ؠ)i?){Bs8lGs}ǓAU8~QxAlIUh4Nyl6k2UAI~y} 5BCĬAdAY$ l۟L)})(pOt`]+mT(opI[;UXogYZ7zXZִF! ! ]ŗXi%6e#r5^PLXR$("&BOR!r8;!9"ܰg2Z9<(Аp?;@*TBHlPP$(οeq4:U;J1J!ka[2uk,)xZ|wTבsz 6:,;qW+N*֙bӪkW B*O9MYDkמTC2(?t}HSI# yoSe>U$kMXv[ ($Xo}ڮ/吰Gw[n~ck6?:jcͮ!>m~찑w \ $կ~ҧ _ ʑ*6*.s!|7 ` m2ůIG}(F3ŖGJ|o#rƝ>G)! :+?lױJ(h%l_(8y/g cbf\ut;{Ljӊ'% -޿t`Xv%oq5ϜӟÍ'96`5ik\=2F]&Tuja4Dς!}m!V7E,%տqt5Jζf8~ٖG&5ӆJna%{ņgi<w$JIi?t5_aH"JO .:g/ko⃁&q`Šђ6ܩ /;#nwS{DPO\_p*zI55H{fR ?k]/ȴUH^S:m "D?rOSjh:o着w[5ԽB^bXw3CQªc :Q桠xNIk%zo( rkg,.+ʻ{m"`oxz_GIRAVSr85jȦ@>]|gFnЇiyVU~xW2dcTf!6!쫩&n'iz'W!$). m/ 8[sL{Kv(DE u}_2:8n8f+{hNZ1pX;gϣc jok^AIYy%)51HI!y3߬ B_QM~}Tʙce YًI}qT_Ev)h!Q1vPf,o=<eMT\rQgvZy"oCKDh_=otN1Dw ޥE ;;͉IDзYzk|ꯊc³[fJD 7mT.c30x>mP튑G/R=DMۙ$ɖsHB<YgM0b0Sm];/izں&lZϳoJAL4Wtp\m"R1mWj ڛ@ß!Ok% TiѨa6jOZQ/͓'SԺ({*dI8>DR! vGʾs2;zW~8 f3hMs.,&}7^%S>8n*0UFsvEZt 2Duu uH.1(lvESUn8C7ç23`{i~rFWc܈cM-*N2T` pi' I{(T :0 0hh*8-VA39XDqbdQ1 ZKB=i3҄;c5[&W*:zD= A6cXaޯ0fJbqr<  Ų5S*ݡ[9uX1iAr?{߆#ǜT Ub"ssa[tum A֯w.ѕeA%IȷMn#ؠkO`$Hbo#6PORt9Cq"E"(ἇhw;C6ƖܴV]4DG3fu82N,ECɖ^w[4\Riؓ?xC|3-Zcـ<_3nnJ~t=W|D^։Ӱ^?oW$~Mي?Ձ=u,Es0נY)#Y--ʊ}ش/l_5dGmUx|*%&v5+k؜gYZ2373a9c678cef986705d5007b46d0bd83cca6d390a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159