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 H#,\ ]S]Polynomials:threads=2elapsed=89.781cpu=164.516gc=4.488factor=1.837zXZִF! 3yN]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=8_]a*d}$Ͼgl2'םt/͹D`oz#"xӿw{78|/;(˹s9UQ0a*j$jeu:N>lK3&!|," #SӱWoKey"0 犱ЛW`{OfMj/EUqE?V6%nqG&҈ !YB2c7\o]vK,YkkyL> ֲ7acʆ-xǖCUe]  enS[=h&jcv- sH+yżύPА_T!޳6jT/k'́Ig",;)=&qX.,AN}ak8XF,WD.Liq+,$w&| 2ym,V|yۿ_&^DJ D;oL9' m|Z֮Ο d8lS|Mc]4i Vw7*ZFJfMd iާ)gvstsWe6B XyY_&1] |¢Y k^OX{${\.Sv`m0I5j*AfJO݄năoSsI 2S*DRX9?ZWϑ߈oA>c4VTPbfoj[jYNx6W۬ d% peW:Srq->& 3pTo6K57 4T٫BAa FG#9iDٻo_,.#/ޓZȠ↲{GZ"!:wJjJ0*OM^#Dc9 {Pdl;NyVX Zw\c6+fT\†DC, f(ε{'wD2.\/`/ݩ Hɣ $:1dDʮPSk $S3YSUj'""o JbjfF͜m{G3snBCcX=y%Dof22[ n@3V[*6䛜kҶ:OمqKwBA fYVkoY~ƴe [JLoDgYZ7zXZִF! -]ŗXi%9#F$  u[>4z?i P4o4޲R6R?Yȡ+`~>+~AgEr אv4kU8Tt5¤9'P76#%NsB XMF#I uS}@1H]+;BS*B 3;֗؆k3n 7E«岂SY:m* XlX>eZ2p=:jE:ѬR*[CvS`i2 ]EI@^JN1YIq ӝKq-wehbćی9숕gn-裇,﷍_^p"_.a/HGp, !;fdg"kcUIOlN63?-l7n*XF`>`}r_qJQep # Polynomials;0 F7) ,57WP&9en;L`Ms/{j~0mi\w;;,qr.\UOf}nIN>N1~c~[={*F-‘&v42% ƳoWWŊ-maIVA/CwMC:SNpCͲ34+oZ/n,F#wޮ%V{Z( /v)zThs{El`ywO,AHd2%T>.zWwE_wi}mH'ٛMcM(PU PA-'59fvd՗,,k4 ߱’1CY\u@,wG4GV&SZ/Arts+ '`?fYu (*c"19l }PR9,0,gN)8eEx$ί1{e"8 R2XfѪlCnkLi%81s AXYTV"`"j҅"˥U]aO2> !5ڷĻ!̝,w4 Cq3V.>eqPe$=:KKU0?Ur򈘭21-)AN|?,S e[N(-jA( ԓ"@$-Vܐ!4uIz@̂1@ 06d*Ca_%tUK*ѩw:9B8PJK$5#uDR3>G~yd؅mWQvql튊Xa16o r\ߚ2smC62?\RH1fymL`E mHJ=.,&|ڭp<I  ]o,RI;`^]L5ҡIt!9X7Vm%ߑ4gtMH$agyGͱ.i _MU%Q )2;J^q5 %fChPXF,u߄ʒsp1#RrϾPqT ~4M~¢n絧?Z,=Pó?p4T|ɄVy-~йU,a)`+_v]0qUhaS3K9~lTi,J\gt{a{z7!_bͲƣ֎[CBYKHNhZ01;g^ǘ%a v\ s45c%Xr+G!\sfQڤGwYŜH9h@ MI`4 ΆC1R:ö;C? 64o1y~I? `74-23)5rG_[)e>[ %-jq|FB5mn8JCeVWKt+;9ۣT Vubv5Lq h{:e1,V+ǥŲΘ`L|BiFF e%?lC["ڀJ9y.C/@YB_yO::A?ͪ7]!;*(U4QTF35A^\X׌\U&N1SJnb)$„9=9L$,"IUZ,c jg^cEjU9)L2O u(bbpD`_@?3R+C,g}Q@16kw+lN3x_%Qr7jgE0xW&0|#4y2)K #2ygYZ0fd278f7f5d4c63a3a762c51bdf626a7f4bd4f7f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c feac82058b7494d758b6085989bec9aa566aeaa87492147160aa35362fff6e1c6e1cb72456b1df1b