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 2# T| mS]Polynomials:threads=2elapsed=25.806cpu=50.576gc=2.596factor=1.967zXZִF! $]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l.R2fĢ0-zvg:T%K>9abVh,bMSRaa Ffz݄842(LI#[h꙲&H~ êXyo0#V_Q;"T5=VOJY*"d.[Fݦ7d,b$%Ĉ׻4?._E#.<(b_V{cd+L ~^ +-!&2`=| qz"~r25kTi!|omز \[[^QDqF>ԮYnOUUA G2 rG`>/JwL?(/) R~b#^ǶXB)Bn _{ { 2#]g@ωʳzYB7fr> ɕP:b3 _8%І}E+~2?񱩭'SH~% HJsGa2RZ7{ϫ^svVFS]*Iġ1f YƔt;¸HoͬI|*'@`^#4x;JE(mLaPRc iTlG:t J9Ii bEԐCl\ kHRSRe[ )/ =0xKgYZ7zXZִF! ]ŗXi%8 laf9Jo?U_-35~iWp[GPu4$d8SRu$D*O-,hŘqN Lreb1_zٰ;OV-I} Eq^!saὛ>׊ %auE"#N0wQIH R ު@gCߋ'Ҥ@Po;^y8B+:!w*Ҏޥv Ԋls^BoNۻ3N*i%ۇ>d}Z=x` Wjۯm%VeEqUA,uLaѱk'\x D>eT(EuoTY80BV[3!Ř59bm з!;fy)O f7B Z"nЏ@,Fuؼ<>zʬ{Ӗt?.'&fW5~^P=bc&WW 7L{MkO6E2+g53r%˫Kyͭ1svOR>6SfIrōhSxC&vsI냟i9P,[x q x/< _YYQG*#12U^"NT1ݶ2 DEC_Kτiy$#} U%-t3_]\ZЗI<9d7Z @}91%FIq]6_ig[rjY: +3s|s!,څӡҪ%M_,d" jNr |l0MbC*7g*/N#[/v\%><@L{hF/(퍮a5.b /u]#m: qR_j̢߫O?]Y7m\h4%,n/Ǥd6M<Нíltd<^-h!!9CBq1f)y!z=-|0&#Pg j̸-v2 y#AZi6S x˨Ըs(gDy{aŕ}H".hA<ڛHm@Ut9Cgh2'Vi:lmI!8+t5_OXN#"6@X&_s;1#i(FI)a ىH~4c\/ ǫ:G@1$ܥxLuĪ?eh?h_2][-NXX+ Oo'C}yԐyz{'y )Od4R,*mi1k[); -Dsqc1r8?Vra9SDr;E*[> ڐifĥ7o zC e?)\ހm#nCg7j-,g]b &=xfe$ h4- m(%dj᚞x&V{HXAo[`Y+{<㔂WY1ؐE؏38y+ Kg*`Y"կgYZ0f02f6f0b848cf7438df91a12a4bcdd4f0a4fffc 2c7358b8a06650eec37f803b01424f3c937acf85 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 87138da535ffd5ccfc49070931196d172abbbe27 98eea06df0ff957ef8b6b7693fd3dc82613324eb b19def0f21aa60775239c4a6f43b6568546283ef bd8a10d8b8af91647ad6b8199ad78d256018edf2 c913cb99114dfca0e4183e33d44baf386d1bfdd4 d847acdbcc2ecef1af24bc2d2ec3333eef641609735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 815624065e3f6f57661deb840ca3907dcbbdb191686d7c275e39aad0e04aa469661390d2dd46a7d0 # Polynomials