SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  144 ]/ HOL-Hoare_Parallel:threads=6elapsed=55.628cpu=275.792gc=3.864factor=4.967zXZִF! 0 ]ŗXf1-qSp~mŘ,z :3bB$֮GX[/ {H۬_QLҊ=K#]]}j/e0ڃy^ּ'7} bktcubf̭agƅwaTg7 n`~ٸs|Cv~WBQÙ}Hbn+߳q&vl] ȋ2rrϷ/ ln̴Ԃ-vmq4%YIRF]5+P|*a\KIEJ:ëtT0O&R.~\Ȇ4 _vt'퇒gAcE PO˳ 6L8?;!8q>O.I`#S}R%GYO<)"m9'JD!+7Y 17A/n) iW.E=1Gi}YK'a'伊} Rdn'q+11`q,pQZM"NM:Ys]1Mc}Q &o#N7 Q[8LAԺZ4]Γ3i3,9@#.RB.{&BCn7Ǩi 9ts-Z A<* F:@/]`e*dFu(E3̣ Ebfs>oBT'xOG =*B_mxkҜmվyIHl-!$Χ+&m/(wUGɣI6 ?M/\J)UB' e#&IijQ*`p3Z%> u:SU"FiqH ,o}~x}[NdƗiNpd&KZ?_Y<5yvh[8.D,9ЩeU n=I2Ҝ Ҹ SZBA=I[j#A^߰YaPmcڂUcvPNx;k HsfFϯRgP9髎gtFPT! MKI { ܜGD' MkYJ\mlh@nݤ1W / Ȏ._2)՞+c .JOcd% GEص w ߙ/`B盆 h%IL;߮R)!!WmJ hKku5瑍Dd=k˔ՖaşBPn7Q(-V6.P׍!'gCڞ⯎5,ʐ&uLK^e6$(lzCہFke=‡ZO` 0 Ac]CtGjlRP14!n%E 813M] %QP';[m;H!tp2Ϫ1U6R$%WK"Pɯ׹Bˋcn^3"?#XAфP%sE9@dg}N=f+{[9CZ+@`QuVv6 Cȑ$\?oZIh7@E V97EQ}q&3njQ{Gt? ;ڭ9sHq 8YO΋"ڼ- .a#rKGYTڲ0tq24F2Fy$m[IN%6Kwo]_kuf"Qj9QE&sF):d:ۇNH;Y5P/ixT.iiq!~RHj"u2K<3O*̡fYzD.LI8HxM1gYZ7zXZִF! B]ŗXi%94.= Oރ!tjU%#Km/xr~Oe}b A'sE!dm,&~0͔z7òO>n"<0Mi&WݬM(Z7V"7#u%VhMrbF-U6rH'A7ej_*LɶzB!z|Iv7`惶#i|Ҧ,eJ7{&-9sLU>M2N-$WjGWx~۸en~ˇ i @ѿ%$ϑItZHqP4f]ֵQA{-$z=NlXYdrq]$̖+xx#{ws4XC8kεءo. > / hh%ñf13|dt 1 'KO\c {8ƫ)Ù d5dkAJWw,Gl D31=SZ˝Є%4|ʊVgwRiOvK @AVU[ fTz`H[8iLQx( &!xW(83%-OKJuj^6[Fw3R 3a!j,i1XfV!ůaté ?@Nv;v̍s{eŒ "2z2o<.pF{M !,.jkRw;)Dʜ[@~Fd~]W`dLR TkQl2%Z/eX?FwSx;ڵQmHnEX(ry=7<? `T&X>?uc鴌M&>Wh[C>3O g|QJxȪҫ.4 Ojp0YYpQJC+\}wrE0Pm z]k`E݁nC&ݮ"n0NK("E GV}/[b$WɅsl^JϙMC1IkI~@J?rlD:'a'Nd_޴/#-؃L,( 0M֍wRSpskEUT7#|/H?񞟙d^ag 1|W>JKkv. VSt] iW#]>Ѷgޯl٪?VYnV-lzA3X MG269,q¿MP)wSK(oL0Sv]jdr2_&'JWҨ%h$6z|0?^DDfTZ"D#)z_?/|TLc~u-~lDZ$vwO.t@@ju.(y[Μk{>^*՘n$xc)u'h63C2,yI" V^qٜ벢o .>[oXr@48R<o@ZpCN+(=*õ\NB1xU?Sy)FnA5-kWyN:+a)D^=G`±a 0k۽bk/ہ YרS/sT#vW|ŧIY E ܗū#eSx')@=E |/-N{4x3ZұcRz)aݨfYXc˄E}\6.90 Otl58) KQVt̬!\db6(YXbupajq>}Zއ@uEQLBL[],kDAQBqW~ jX3i 3%yr/$ғ('+(JDɒ5 Aa 5ַĀ? YQP/8}"qi~޵ ͜ 2'׎`'HStHz"0~ Ô