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  ` `= ,4 YS Polynomial_Interpolation:threads=2elapsed=20.591cpu=40.908gc=1.836factor=1.997zXZִF! 3 ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02 t1N]\-4}Jvaq h%%,ȹlGL@vs"W#4E>{IG n]M0X-p}Yb ΪgŪm2,!k4k&c}:MD uW"FGCm^JqMe@Il{'\bʪr,!re0 koX,<"7jF 8c~!A܇!S}1i"AٴܟƓb/q`n[:`|mqbW߫lO!;"+'㡇Bz2 kE{#^{[+6޳ (q31-ell@c 4GȀb~t Ɂy|4,Tb?bxSg[MU2] |`yy:]YcG_*TՒ%;ND(l;Jxܑم qXK/>~AA4$u0sC/%|u•#Q=ޥLt*Ї9 Ij:gL0"]q1RbRp^~F!APO`)QSz:x@_  a, K"0(DYpF6AzZ=~Ӿ \o+i2`@hGb j/wvB#BeS*JRs*\jbZŠNyHA)M,lNSR 8W(n>UbS0)%)X=;JȆ"l?l%gr e`x b,M B{zԱwyZLfcjkG$~d瑡DbZo ('|" CW,&qTb }.k\Hx)ɀ$f4W Y2 q K㲞( mTNY'Ǩ#薙q)6-f^ɰakTTC;T̯`~y)]sn eOڗy  = Polynomial_InterpolationPB+L@_O%?%U>i'. ۿrA˹:QyBv&%r2L3wfuE-BY8(#0Uj^C!ޘ8O] g:yiCհ}H{L%c8_#aԅ"p&VAON?z3;ն`+$1aҺYÙP|I4D9g DU g]0OEtwy֑e 8$>}='vJCW 8qpT/ֺLOz.AfY>mJM[xԕycɮ(k{D-grw@0%ǽ>/ESCuSH)Fdv19Fe7-肞'DNIH4̥brTZ)t#-Xt>1vfl9u< Y^CDBЅ Cxa{Ft,@(T@b. q"'=^S ;Ɛbј~c9}M 2&͵&_ v1c+cGb Iu`K,:$Q\/PV]$&pEt2*OWFҟ1CnQU"࿵&d`d[w h kO8.[l]!KHb gwm(:0Ǔ4s6996%0I09637l; ~҆[7;,)=Y'O'#TXJ4a?@ỻ04ᢏ})~>) |Nk:ʥ\;{L{$LxB2xvEeZIFXe8"0AD3hҤEbcU Wzs "odT{8'8f3&rEmTC N~+?Cwr4y+Q+ $]P\+,"%)[AR&l#/P̗81 s/^2SyNӅƆ]5xAuHvZH j/2X;v`Pw5p8Ƽ\ny:3O jV瞻qSOWV֧cOlX:[dyz~JG+1-8rc}Fx?.DuݚӼa?;ٹ- wu\#,Lab UQJqJO$/Lٝ+5#60+"} &ae), ^lt)euCrRfpt+agTEz 2of?5Tͅ1"/驪w}14.1 (p# ?Oא[= gס[TGqIF 9_|)z +$iv=gsӯ^ \4vHKr]ěs[NPRS"7-o&bݗ3vZ{>ycAe8H/Vx_M'tc`1d%麭$셯5uHҮLhu3ճA,XH3!|gYZ7zXZִF! l8]ŗXi%r:+4/0N!q?YwLLrz+>±OS׺BZh-\o0l;dƌ;vƨ$9MY3#L:A0` I'^VF S5\ui>ug)Ք?.lTj)?_ PnH/xB[ҮgHBc3fe7'ZHan ul6-fjUn}'Lc ]sXЧN \je+:17p]@>rFvݭDî=[{@]Mw PXkfwVĆɝ/Rwajow%vl:4b%^%)wbDmg6^\y$Srh_o`>0y< j-F\d8KaVRW]BElS3N&b.7|ь(N %.!D\,ƨdͺ)e+)%X|v2FğQ]<'zIb