SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
s;t, ]]Stone_Relation_Algebras:threads=2elapsed=61.615cpu=103.144gc=2.960factor=1.677zXZ ִF ! =K] ŗXf1-/6vR[]o:чR7C6Vc _ڸcOQS'u'H#b LvIz&,UݔkRP>@1Sx6}>,ԱC!-;Gy;kg?ݵ Q/r k[XZ,֨FDՊ]eҎA*Pv?wa* uvMe_
,I.zNrX A6 Q
}z%DxtIRSJo[m
d bx+,CuIP.N Wp[io뇖p߱ y2m>> d
R*#}@gL.--'|( uGN~y}tOM1r0b
. n >
wpO C͵v$1IQDۜ8,tqx
7>aM,\ՍK'`
&pnV'0]T|8{\ WWZq.;Lg]gf+3nKF OڀnX }8,ARW%kSvY=-@ޤ$+" .*5j*kK^Z[[LJ6W$ 6-z, LO# ;S{3@ =6NՂh Ɖ
:mn*FU 0&:/~ 1c!]n%R8=oB&< Yu!ZnPtM
y Dko:no'Wo)ND[Z*=mc/5o1`}LM4 #˗
[J2 6Nm7{|n
*h@럮N6^x &2y9vAMheοBRziK\o̭8ROXvz$C MrQ_F>c燖`X__z &Ͼ S{kCo)xŸ?~'I X:au+]3g q5^$5(W쓼XBnE439WƝŠP :x } XT#w_
=Tw 1[KNԈHHF8^
U.ΈL^gd]/wA$5}ʱqGH`eZaxNJuLuv<1a >J7M օi^;
|wjD&*>nƗWko wòkCźHx9*w"!!́xVCU3yYPS#9r'FW|!EX NH]Ghb8 bB' /yYz"c՛9 Baܦ$!B֬q)Aki^ݺ<數c F-l*NtAQ8H"H]"Eeӑt.yi+yj~{bC :Rz+!#BGZ~ ;2N+`6'M Rip qrq)
d
RwsU{{FH, mwHZtGGmden!/ ߂3,U# )mX %߈ڶeB .poˆ D
}$Ssf 6 +\3,/II"i1vS^$C B=r~S% ȟ gM<$T+$1?I!v> OwފeBgCC$6&0j?`_t+ߞZP$kȒ bS9q`Ppȣ< =|_-Bp٫Ve8~?'RZȃF[~TWdh k x3d^ev ՖJEhT66@٫."nNK_'hy䆂.M.H(kB6_aC%3ڢ\a }:痀|_g)I=;#uv]gg8`P ~y]}|td_߀I] 솃 ;h!jgLՈr'\teQ^:bU1!ʺ{E[I`ISIX\wx;u!v3T/H
ՌD!_|dK"ӎc%rpӵ+Xzi6
qkv۰1*ϊ%h(RlL:of*^RO, 3'Cп"=feGƂܚ$P-waЩVv
}* 4Ҡݸ:> a:>N$ _&T
퓝[e͛kj4Va595rU \wM@ g YZ3be2b3d8c8e562469468d1ea560789fa77216ffde70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
ca7964e21e327b5bd629d2c7839127d2b2c730f1199968e7f0a635f1032fd607c09907b91c91438e