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 7L ]c]Algebraic_Numbers_Lib:threads=2elapsed=83.265cpu=147.956gc=7.436factor=1.787zXZִF! `]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEa%1O|孝кnCjJc'>I6^ j! <  v;4Xy*jkR&q2Ϟ_Ĺֻr8k*҇U%[>`':SF)G1SفEYu$:)b(}sMО_J jOoW=">?_ꦠ yʻ;u%Kygjz)A#XvBEb_QJsŕ6n^~~|YmI(UU"CO}i%h~;Dh|{/jfŞ>fLXQFzcQ'Sifdp^ZQU3\_υĵwg%\"Tp֢zZbfL_7NneB$+b1E6M81 ==\칖A8̻0Mpov@>ud5y6CAN,/mnGm3zۃ$jVx4<ʎBzɢdYik(O=3ӷM>D%'>6CدtkH5w2--K T VhW])Z=bO($~3H^A/c[sk1`["%PsHzG8ę6dW]m \ZUWښ\T˅~v_EzP119$Rq\Ѫ 1tzBPoo9s~k kWWrIU<^+i `'Ls>@a^ ҿb/O'l^(!RH ͵ aff V;ǟgސ-t(WP9RJ`h0 #-ms|i/F e(/Fmv1/ !gqT$"yX\'S@&@u9+9d`ʄN.u${?1\?V"LyNŷ*ߌ:*']K8K-|u={pBiBa|% :g)+ߒ4I%B!cޖ V(DCs"$x_cBfi  2+0P_.9<п7asBv.RQd 6 <>3nxV娃(e/G qD/–҃wk?dطV)Ɉ?/\CE[p2i5WQ\.s_ zƔԲ7+pdW g/0ӽ[B96y#t%58َc. ddoy57-*({] Rɮ 5_!qLF3@@n4GuU#?sP{} HBfCx d06 1w]UwPڃȄ et{O#{K_l XNvxf ~XBpUf=Q\2ÞP`gYZ7zXZִF! .]ŗXiɟLZ+Ǿ8T8劌w@ahbzb*/ xC#c o^vfCַ s}apؗR/_ʺa;.A3M75\mA6eE1,˖3!\b-90Dm|9Xš_S=а.jϨ}Y`9Xf)=Jc)`E"\Ӆv$1;?4 ie ԗcZ9Sb-D?t6§nm-g8MeDf]y1h Fp1'$)m34[ oXgu'>Mb k4i^0xe?ռ>yޤ0>c '=gYZ7zXZִF! u<]ŗXi%;р!n)̏6 pMvBX;=] ;N ͮ_٭5o`41MT`Ǧ骪d' Ty~ˆӌK!RVo&d [0A1VSS5 '1/eU_ =PDdV~8uVg .1\^z]F[;>[86x$ 7 Algebraic_Numbers_Lib\o|2ljż:elJ!I slBO)imi" 3/,`nCn/V %z+Tp[ņ#,- chuƲw=Na8nKM^ $#e)G 1˕@?;aZ)Bmy[3+iQ!Cs5SJcᓿ|:h{'6pYk-^;`{e9bEI3 ξjQԬr)FA̝IB%!>wNԛǞS!ĘHWqOAC 6(pM1YxsG—1wlt:h 8cPlL%^fۈE w]ExcT$tS*^1<48̯klYj4*qm߸v3A;I("t6tdBm[REќزpjty|{mf{I{$G#܆6ۧBjU$Ҟ4%Y&ִ(\:vw]Cs悙d1:6,J|J)iQ\l;~Qx"FTjO+gJH ?Z&hk_$̤=\,;6@)}`0Ex,i< QV.s8oV^Dj 13kT^ eRc4ܪ;򙽦xccD-o"(Pc'B-  M,b-#pf2RfWa+Sf4Q& =Zi)&x\i:kro3pr fu9L4'dvZhǨOߜc$CX=aZM(cJX ExrF_H\Qoj6{&bP8b%m[fhfn)zY>!tY&;J69xͪ7'x[g^-Dy/pVʟ,FLA|jrZ|C jH+<1kJ*m$_CVz }ʭ c*pPnƙsA!PǛX)}&taZN t2=Zƺi-vQ[q#g$##(w1#Ya\󢥣S݊1#Jb`6(Aq)hşmi Gieކms/'uH\}w#h#ybƔq`/R0rl$KM[`ɰomT̴^hus4IHTRx(Pg2;/_$@nIPP7tW"A}nh tv GF΃w+ê+2{yscDt{]]yy 0Q|y)b`ZM}Iٜ0}%W6Pd@vO,Í>e?J+7E>UBQr[ E:l'q\MQyDxAE86N/D-MKܲu%#1K;8"H|}t(rs\ܦC`0lCcdmwL0RҌ$$++㟳N'!q&׀+; ~~Ҹ6P덈m]1\4.fQ_I?&5 (WF7]W#WPU*rLp>`sqE'+