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  l l  \T< ]S HOL-UNITY:threads=2elapsed=59.393cpu=88.252gc=4.100factor=1.497zXZִF! .'f]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy!Gލ3 ˑ_ ڵ)go8%NO4tx)Qڬ9rpթ9R C=X!u7M2q< V氁<&H(2B5߸==>~ Sj~ 1WgqDAg4ii6 I)+$͒Pb#2:쿔J6_&=HMȿ`&fHPŬVc{$RX6,L_DA:oٛIo,& ]xn)di:"N4z&g~Pv݄FknLP1{en -LT arjZAPvצhCKUF8fm6q+zEp=GԨY* %Ի>UR`{/2cg>gv>ٙ2g&jl\MNf} WA$N׼Ymp1cm[MEo'Ϡ!y+1/3H(cPQlwT]Ix S"zbG^_RW][՚]4W@I-W.Og7[p1'ٮ_t=q+ZZ@"I`h,bZQ(kd,aWDRi6L2w:+QK`W(P(Ӂdar!'PcRu>dT^ ǺP#_gƬ O]р>RKr`b앐CWB뢞څCj=-%+, jGO/n~J@m+D$Ag":XUZ2O$U FM  K!eY)S`t xZx҈jAM8V$p}%_IkLy߰I$&ƼҼ~|pI䕒z_ԇB)S+tB][mX Oѿ49o a0$b5 [d}N_XnE+ dV9R5 7q,u67-P{VӨt<'xL@4*-˱COmKh+Z}k15 Q 2*R^~8p cڬXAi=/N/x:$}:Ry`W#&$\?G`)Er^Oݷ'C9r _1HpJc,1,EQE}b‘SvXf{;Xԭܭ|~c{_ٗy=pwª|~~75 vp /2Hh'?5!DZӞ(ޕ芝1 QJ;ۮ&{_v2Rj9nD'v/K]ݓs y)`2+g]?8?\3xpؘ8Roː&y#`b~9+7931mW%ix'C-h4 9y!`a ugYZ7zXZִF! ' ]ŗXi%;n2C ]fѶjή.yD{yUI8$ׯӬKK9qz(#NIc-֔czӒ$O/kDSmS 3Oݚ&a*C4x: p1~.,INrFFM|2 (5Qo2.a׾=#,}~aDB^}яmut%ߑ ␯YJ@DuY 2‹9)YІ qbq/v-bWaW݄Fdr8@͎7*:p+YhGʴ`5N+h.\NWOh-n`zU %sk> A Zᑺ1b렔e(byن# ,^߅ҿdžJsᜆ]z|>u?g^8sk>Wkb쌠qgYm:i Y럊UP૥H>n۝.g-G }ct`B˪ %;?CQXCϨ 84Ei&'5z@ -$0XP#' eP8y˹f^L|NE#QǑ ~ /l!՟ޅ! 6/He7%]֫-Ot_͋ aD\̙Ew. [X Kxq$ǾbӛZ fV>Ē.Sp)<Al@9'Ԫ\_%›MRJ>6ɝ̐O=6nV3,BtǕ4%#A tJfڲ65*f/_m -N{hdR$]/E|O[sͤցۥ+%&*ϰSϷ_kL{s֫Fϴ]TԽd|UoT>g G [VJ:$IhΒ)V2U4'KJg0Iwq~iʶ{j]B_ws7YNWF4'$L2*HJvWg\\pۘzCd] evnE^ܢ iG\ZĨc~4ErSzj*VwМWaܕGT9vHhx\{sF^"6 -˶2=>`9&(SEWٚrn<;>d,rT*3?Q>B.{w;S1m/8O`v l=u^G"K^[B:Y7Ѓ^"EƦF2 JBAK" ҀGm>!]%5\m76潼O ^`BMqH~Bx" qB2x8_NEA}o /3l>3`k)J:v2o<_6Ř@ (/BNMhN +A4`%IPלAqפpe~)r5)iD)C mm Rb.o<%{Ѵ3qمwo8Sbj(E|זLTzeet;WFr[K T">iG~y~s-ӡHmM9j*Uxnt"x_W*mZ¯#UMib&&]<,bDWu.RgSJ ;pnp e*!;]:89C