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  %, ] Gauss_Jordan:threads=2elapsed=117.907cpu=215.172gc=7.596factor=1.827zXZִF! Xo]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZF4HFYSGTKTZ"k>Kt G 9o؃bi[7+<<Ř,\;EPݠY;HG0-\?rI )nՋTdݡXC`Mi%Ra:J(n{7@axhOL>^KWDBĊy(ļ\5 )e%X@FYOӦ]"Id%5. ljj\/7viJ~ G3z-PWAM: Ty4 r|YN>0ɫ"cLfs\]H2Bwg' 0mN8B+|.q>У~f.yKXW9q?DuT؞vSCN03F3Q9b/5۳>oh 锄\F=7yT3\tקVi1֪PINT"vPdݫ`gx].g؊D87Zq$Jyd HiRxT}ip͉ i<+m$^Kn}:|-#"o=%GY}G'¹pƓ/[wmL7[4Wds0bz7",E9 QT#NK"snƱUz2ͻ Իf7 /A+"lт-ZyɷI$h./ @M]_-Di&G Q?qG9PBbk#Zή*WY_$< uN󡻺mmGP6<~mmSvx6A_$hD(%աv@ {[՟bg,)arUpv9D2&vGRUݺGL?GfLSG$""-P2tUN[CrkGH^~TT lPQicPQS(kBVzm'JuQYuqw#1ײ2DNXhʬnliw6GUzdLV 1$^يꉌlaLHŪ\0FbuvU;w"C-l/XǞuM#;+{u.6w;h Z$̢Nʢ 讱o.4 S[|aҕ\5Lmi>1yud*z 9EWשt'mt" -)$6v lXvi{MgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RJ=|m"ab{FhͪC&y\U'\4$.vϤ//$a]V<[1C-1W[E$HNI?.> ƷAj`qmGzK7nqLӀ..) M9t/C?iCԺb(λ)F Q$#^`П_wvb(3.#w]aj?5˩S`n! }O[92b^dOzw "Bʠ +OیCJrYξjZUְ_GVx$2&tAMAqߤu,)V`M/cjӐ wMM[5C|5P2/|RgV;5v'kdvҮ4% Oҟu AY@oU]zD`?ĭ!0C}=-pիXUoNu׫U<[͛ Sؗ !%>'\rW5/C#M)tǶi^P"C:kmC@$79G9.Լn#~ӌ`\(5QD1{[CĮv`8D٠מ4/Y8o35B}K;M6L.6PF_&zf2jTST4ǧ zKtι iVjxLÌzk䍃CCcp5vUJ3:Q 5RC>LcT")YYU}}MvXME; ę$Gehr8 #9< coGP!Apy\_3.(d'4!Qz=F^MzMf ) \MXkD]qVr ЉeJ =½:nQ7|3y +QHߕ-n3gX(/'̄7kLGs96T;n,3:g h3|(:t9Zm®b9~r3fY"%qs*-mnK9U!9O؛PPILh3EOP4Hmce8I|#)UqmokGD]頃4?M6H~QU6J PM`ykE2,Cba^CC!fz//yy]xQŲEˀtBNGVD]p" /=lS'PƮ"=/DA!H޶~ ĀӦ4A H;<ˣ)?ϝoz{!Iu0puag Fa5D3Ifjyb7g Wٞ+*G&vQi\VʟYly I!dܺ뽪,ր]lLJǮhy(֜NU2vޚOȷHD0Xm5_&p<\NG't">;Zg*q諏 7Gh C[jN P I1.pU)tt^fn(jpNx}p)WeZʩr I"t՘̓tّB8d~H,+{є/6r<?kJ魧7XOU kxF6:sv\4=Mp,%_'Wup.<7k@J(вaPlxx5ʰ }35 }i δC5,.jpa Gb,w{wU?w14(M[)*U8{RZd+˛E>+ŧF}{քH`‰kld)]״6AҊY,-H'c,ŸZ/"QaXOP&F%H0Z72Q̏Hc_nۆ tb5N gi [H;/!UhbcQ܀O[qZ:E#Ɇ:aA ֻęŌJ 3Lt w SYI(K}fWDT53#ŽjJ9Ďs w+9qG~c|IZ|@$/<>o)֧EhGb=~"ᣒPe}eP}Ǔ~>D%EoxdsJ H ߊS8q\3 MA՝-YdF$wzxKM0-{{G5{2tlErx[,{SsǚԾgA,p28fgꇽB%{ap+ô^.O<)e}VS !AƆj_A  D̅%!+~-8[WCh:0&wRfdR1UĖHբ-lcN 3iu`Rf d*\9`i 3cY&tw,XΘ&PyyPLajWQryUD:Y: s/=K(jg7"?h}V_db3=FL~yt߸omO#Z`DhY bD}Wދ–vJ@I-bc Բ4. +NII<$K*y5{YkkW yt OS{ɛCņ&m+c aW^U`ee£[xp 9O:ie'dy[9q%rYk{[^=rLj]p^Hf77Yd Wn4΂ԗ&h&7훱b,-qL=s!kf[\_P.b hD|ҰނR:/dCG$Hw,%_JV% ='h֎0Q1\Ry)ͤn'zy|)kׄ)m٣~H3d9^ŧw IPgZYJ'#Ir\ݠ"|fk17%x 6)Wbܱ+ doiZul99>JJhϚ/K\CFbP8#iTnk5+eB[ 9r-o^\?8˦u2`x$zuڀE\R*nJ4L1fg4 Ϯ"/Vc,mB+ w7^ǀr|{L=LN}1WF y Lҗs[ww]U׸~-5]B!6v!)ymn+Ja|&o,4nmfDpC 'BpeIzҺ֩W ټ:T5wĉաԒekqA&j2vg莈O8V>:tdN kIJ>܀)H9έ)ǔoF4亊 ˶mj Swڛš|d:EJòbT{/ $#;>&~^yᰐiD0NBޯ6JPq) ;˃z3;?YdQ;۲{=>? P#;A4 s|UF` voF^d膈g<2uW?d\K' E(5MVyuRu ҅ mr~=f2!<N 4+M+*c}}qN5L1-}Upa2ir%9X\R,zk‘=?mɃ!ݻHe/jB%4 3 -i۳\Dh0Xm@TH%4丙β jGvȉ25$J:9XyJ]2m_Eؓ|1DK!'Rכ_`CFS]A2ԸC'Ndg$z{v\MEx S1hA/7ZnXkWX^cz~>N|*WPwՃF;}H.o1bϽlDE@8u究5X@c&~ *u'{=|C)1.k(PvVa*=MjINhA2sX/:[N :'Htpm++^'1YoL}@۱$l ̴gދJ@=Kz]=`٘} xVٲt0)  ]ːwS(]y4V&6$yV$F F?& Tfh˚UC$[Y-ѴJsr$WXa=1Cn6jNVn~VjKc>KMNvH2} :ƎQO@ wݍswKRYaDY_sVu<<Fo$EH? -H,Y'!g I3RPyD'Ta?f8^q!PJ`j;3-Fbo } Fڿ«j!X9n"Ocj;3#]h`e8D3#2Ά #7gYZad6cfc197674cc3246bc0df469b8f2d5bbfb16a679d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 50d7567ba5f079e933f9c40588fc7548716f71d9