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   b# Ld mS]Polynomials:threads=2elapsed=25.211cpu=48.316gc=2.344factor=1.927zXZִF! ~M ]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l>59eRwEzF Uɸ}1}.bHo2 =ؚFم#c󣜟:ʸZGSȎ]oHK˽V"lv 'U29]zs]p]BعpQf]:;s |\2i7z A C0<ٝ!B-?ߗk  %dü i ~R+/хuJ\~ | jҀ!zgpPYқ3A^#< a!qcϥcE]*ݓ_Ga:Džt,LLaPC6s2RTX t]p>Έ- "D{A#Tyc|^ѼNzq61WiUKY 8tahӀʦ@ZmlBMvֳQF2:z]ӫn/ # Polynomials5QFٽ܊յL9>9u uJu "aM^=T )}u:i=XC(rϻFjma7̝GE>㤆=v帐t_9TBl Lj?4 '͝osހ~:f;,cU*#BoPS̕+˖JR[mpoS@9r'KkKw{t`t&ä!]aVE@Js(jN [^;RAcmg6ib/a/;P~!%Kk]J^| b9i=w 5f0VAlxE/%kʋBm=7Rjf',m \IBSt^hf <s&_$5(% I$ľVm|ӑ!(߹3yb9I[HOKǮM"PM`@K:ӣ j*@PrG/07p\٧N-Q5BckZRӪ NszY3ôa㙙4;*HA#^Ț8-̷;f^mM N e to4/xl/x" RZ_DJ=۫ ,0+w@'=7}̰Lw!}ŞU}V? I3Ү_KU{" |Srˤ\`N",48]\B tO*]YfN֐Kn}!AbW?; W}b|8\,/=#AyXХ@ܲ >x+V lAJF|g:XAϻGM~HVcwR R@ɿ=5Яv-ZP(5`XcK2Wwi-gYZ7zXZִF! .]ŗXi%sQZ-{&FsiuSMa9@9|XL)roc%E}[O;A1;0%f+ǢF{'%n/ku8w*Lybr++褐a oL̯Wo( Mi4tqy>bѓM2_Ÿ+*McrG8S)MƩ#ZrOJ($RUo$,"9"PZ9A؈}8ΔHԞfT;iQ`zuv9ٜWF' ";LF-qH7 U#]y7^_ʑqW=Piak&߈O>|Ч ]eV-n:춠\+M0\F͖$5ɟ;~%xݯ[q?sF7_\5,\&JԂYV8}vE.g&વw0D`uջ]>I&:+TUMx $)1\SѡR$‰3xŷǞ!P0i=(O[գ͓o䓚5t/ހDD:LFI6)BCvƓ-(u32B@7ѤfHm<} pRЎLdz=,};nHMh%Ox,GJ(vf>^ī1!Xz|) ]PP&?q=1Tʢ1cʋeF/HX>9g ZxR4Wr +lxdMX'C4um:?{ä\28ԼGtZb"W'\@Z#v8# WU D)gCqkL[\ޱ߆%|V4 e69+@g(5B6 QoNו-ڰY@>_ slߗJ?3c12h˴1=ǁA`Pu V L0iɱ|B^gl%OA +}HK{A{^?Bd_V抶+xy^s D)k\ =c$hǞHq>vqep)'EJ v[Y#yBpz ߭v˫9؞["i|Zegy wnjˤ5 WzzŤDK5B3VN 5sDuJ Y֩_DvɈqJ Sg;TI@N c YYQܫ