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 a ,4< ]S HOL-UNITY:threads=6elapsed=18.551cpu=86.412gc=4.348factor=4.667zXZִF! //]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx*wB60" ߼ ?܋09{t?2؂ŏ\(us,5Eȥ텨=q[zZ`L`79OȽbʼd ffl<{@uTh_Bn R猥@a{ViFc\ZDߛFՊ0h0K-o/C&C93D?5hٚ׎ g. Ÿ?:"in -Od4G =ϱ'"&ň )~|݊ m n770   HOL-UNITY/%uYm|d{q +$k~.HFw.~v/#>6,W{iD`?I̦4FF@^3 yY>%LUjC#LvViWB%E>D3"Jl~iuL}I,yk$iU:ͽmMA Jg*$Q['=C?E.jN? 4L U RI,/E^rU#Vqr(`__bNU;W>=缭IM3 DZfzP]L; kZsĥ zdضLaܷ]!~lT[|:3$q,w'2pW._D<(;jO߷fwhB7rB2ATV!2ٺ=[:~=sh(|h*i} 7H|Õ4Aw~]{S>N ldE[u)I U_?%ǽP6V9Z0Ch!#ثVhwcc֮,bb" OJ63e(q4&,3{kJA?=^,TlH9o`}JV$(l!mefN./b_MzKZؚͭӭWu/6nApqc刖j^A*Đ2~l\Fș{wicQΒ7<<R?"LWxpTf ^i X`C}Xmy i@j5)}G0=!@ MYʹ^W}%^ϻ^6=}a>42-_$ pK_,*ʹiܧr{/{]1t!}" %!̨΍E"12FI j~zy:p-gS q床, ^yy gYZ7zXZִF! ;]ŗXiɟ1'x^܎o867vD9r+?M c1lُŷykdDÆ9lu4ܖF8K#7< Kp2Y<6`Jn *q]&dMt ϭ! &N:JʩFVFQ96Z#*h$W\)`k:g;{j>G);o CS.W/|6ԃ R9׺| $J h.bBe_yYЯ)8[]KHBgoSz_^.WeҌZ(uJY m~&mnLz/~V8fp^gYZ7zXZִF! U]ŗXi%;R/p\r/vQmU. !NV"L spB#mV)&*fI\ 뒯!OY01IF7*m&[ i/ieCPW,^T5tϼUXc Pꮩ٥Sm{Nl$R?AR*8^u2z*o Δi'$cU&޴*z>'.)iAu%WkkWwAEiRjLr`vn8eHVV?Zw%ׅJrWw'mvoK9!}"\W;RDiiNPk@Kd!\y lBs2Otc_~Eo?( @7 PVCQeAJol(U_oAK_ x%}j`> ?ΖմWehk`e9>kNhG 0+K/ #] /Xu@%'Q39"-r[ZFm![@a5m]&Yop^lQ$ tzYoU{sٚ;@˘_X+AqTr@: L0O-3i6}^6h{?8O|~(̋514]|۾ԋKbڢ'*d- Y"\$*_4lmvX,l才iJhު($':.||_^aG;k)0k?rHx eTR eJc7ß}y'w8"7J#oeN^&N4U!t xr>4Y R1xKCA/UIa!F 1n.QQEQǧ7eA^Su& X?{~WIyD°cLQW7 ךlkl|55W; 7P?{m1P=sXO7~yB&ƥ>4Zc Q9so[M ]@VbAOo2i0%ë=g?% ~Me* aԕ3bo$8$~B.P`LP`DTL :9b|v mh 6Ѹ?J唰x!gHu`ź%0%7-n(TefGȭGA|;cEU ۈ&|~׿giNC]H_33ӧcUhVgrTǐ)d;?\r$ИfSݫH AS݈ '#kD rD+K+'6$ro*AVAҝq8BQL^[.$Ud<~2iM kVB0&5f"SC(3؍}LQ0d<ʌgfDwP%?Mb? -_@b>DOv<4-+e'<%V dU^EW_s4Bn'5A9=&Kp s&/w {{Eo'V%:ˊ ?9% OX k](-H.>A Z= .)`RBf/]X~d;Cy VgYZdaa4463c9d856f74d2c4906a6b0c92aecf0ce4e67f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 7706dffff9d7b1d162e5ba46a21b64062a52b100 4904bc7c0bb098294751e4f4ae77d07e9ac47da4