SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  o o74 Oc Algebraic_Numbers_Lib:threads=2elapsed=98.359cpu=179.512gc=6.496factor=1.837zXZִF! :]ŗXf1-/6vRZ]=vYYN& \l_!2&IJ bF_B{d~tv& GEWkvtNc_BBOz6i"Z!(e;LbTMyn zzlճ>k4PGAVfӳoۊ')RexWls,|Rdvf~1$R,kyL+u&zHJܠq])L*fx~F)]mbY![ `<>wNҒj9w aNJ@s{؅Ff׃<ڰ6;d Dqh4 eGYȝ\JN5{=#[^me(F^OEYY[h5I龟ѡ 7 Algebraic_Numbers_LibS{9-wTny{ũ9RFzWU%0Y_fҖ:YˡV'^YvQt.NT}bj%A4v: C\S6SdeDpG4 a"N4zRn31|RE׋^yfJ|g1}:r']F qA@3N,F^")#Ϟ5qaĝ,OmlUMP?ߨ~"h5D22?-]V!~ BdϿ'Hx $(K7g| EN){ܳ/SEY].Yж$5ϭ@.q6bGT؛O#\Zջ\])r *UtQL3Z1XO w1?WEpSQEƆ*u)GE=+,ؕjZ=݂-T=UAj;]FE?}^By׿,EEhesջv7IF[v`կ-'L C#ưT$E`{|nP FTI b-,ڟ: ȹ`~K'FjJ%֋2VLPP3"RlNʯ2 ;܀Ps{f^'/A/gTjOaYjR?NV+{DPU)T˄iB ):`|9m&4z#~ 4qHT<akgʩ<1A_hg0)o!9fr}:׍GCbogmkǰkݗb(]Xd"^g(do^Y3gus}A]-iqSlP?AsA)d=,A :xR V祏7-l}B(OR BswRp:W5FКVWD O_ E.F4enV Q/eS[QGo"q+myO:ׄ9RLXyXǷQ'%HB.F0YWLڅu2DZGeq~r h OxT+:h/Dak\ ;v[G,s@=^ldj;dFUӛqz| ,-5Wr@%c$ngLeG^G%ڑ՜btuuXJwC9rbg̴Xe۩}GfgYZ7zXZִF! K]ŗXi%}InGR|>T?7"V\ywXҷ'ȼ -Ϳdfݘb)P{ɂkpvFNC]KO*5fRLF-xP$ÐytM3 3۵;{f&nO0"+ڻ?RPjC ۩c D]фV*B" 'G0g@Fo>n[`kTŌ~w+Lwg9QTZ'7}mDo8BOL)9)au)c~Nbd=~\2i5},Ozlt}-j@JmF5֡1NFtf6\'[5< vvc?E-2w' qoR,Ck;zviccGIpO# l$VF)*PR}i|=}Ve7\.cE]|Fwi^W YOZk~k~ƻI=JEQ9UHd/IH֦Y4qn˙;׶7ψ4adW,<$rK߂ %X"Bk |@)Ҡe%nt/N=ʋnQWWb.` 8F,yk.XIAuyxHqU9No0mZ oH&Y -$0E V\Gi&/!po"j%>蕊YldsFLZ &+b2̮7w@N?J^*A?OBT'.C8 AlMrwؔ:P|jJBy_@ ɷ>ޫ;ߜ뢋xڭ>@T3ۼp]+a2GSһ;VuT*^y2bZ9kCaiJ+<^';6^>T(r?a7G NjdF*ԍ ¾E6Cƽ]W{t'Y# 6U EmTˮ$Nj· .XP{~$_=-iJe Y[PGhT`8N `߼_"vc9ՙp3$+ܓIٯC{$R$gaŨ,x88mtDգf&_Ԝ 4xz~k0}z Nڛ;7ðݪl7gA Ԋt7tz06s f`ʃb"f;807xg^NadT0=KHwL:q~˞ğ{h"j合aڹ}^ a$0 &Vrur'w N讨 omb x"b8LwHX - 2>P4/pqÙ[Y2A1=|8EO5*{3xҹ*T_d [&rJ0K:KqI/u(>[N~Q3 14[= zzzC'$%|mIt+Rbb) uy8ʙ C*iqx֜kbU$pͣAԣRfad]a I;iBp$F0 51 7E"bl޾ʨH~lq3Q"tQ- =K[F=wK^ ўRF ]>k?xMm]1?@;sSOod!#E>8ʚq 6Dt~7,Ƭ_ U $V KGEUC6$23~ǘ Gؠ1c9X ulsvju^T@1SSg1ׯFCOa排Fa7 X)!%,k*DW]AsƂEzΜʼgBə(A]y;Ġ<y6{8mNq! =6EŃ1T'4W&I?×c!ءۧ{9S^xtn2_n؜@\iB6_ 17Ec@`M_ߥn^2ˉ?7\kpQ9?Y ˝ŻTRW /%TΛCx Fn^(YMֻz[\6}ym﮷\=e{&7rxcm+vڡۯWbLLjj5;EyUawS.71wBVQ*P_v^uT̢Kqze)^|ne1 >yFL_j:+462>%NU"dF&, PkQ>%^YU^DC$zeU$\P;ݪ {JA} X# yuYYQ] - 2m-V|]F zŽg,f^Q{'!Qs%I.˂rf(9H>lÓHPRZDm+r/|y10Mf T|:SF1DQagc?7 /'O#.^5a:ZTJpo{ .bU 1GG&gv$'vjiп/||m]a>U$Ov7Jn׀n{ *"֜]ItQ{3Ի{D7S=HZ&zlFE"G *L-KMֆCu|t6I^ .nx#