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  D D1= 4d YS Polynomial_Interpolation:threads=2elapsed=20.634cpu=40.100gc=1.668factor=1.947zXZִF! ' T]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02fvIKu7@;pܷwFTX]n=nNGn1bо°?Ժ߶dAC0 @rS~:بe"Dz DR HgOz1M1$|Jy攍v/Knj .A,^$Dg[ tu{xWzN`#*sE-oBp_Hu"+V5gv ĩWnH1^lTھ1()Gjѣ&벖 ͆L9e = Polynomial_Interpolationkq 8-lhM7(їsBE!X!_‘{IMУbBw԰ TϏ|\M%Try8Z$_KX ҏٵd m)NӉZ u5`[Dg#WpQ_ 1"3XkAfěB`(tg+qh&UX0.'Aߖ;cLD/Nẓ/&_F,g$ ɫi! k$n_J(,@ /n=<O|޾硫VgI&il<,ҭoz[qzU۔9pn6j~ :yx&?4ca$4)Å'ƙ;L٫  '+$Ṕ.m/Tl)KuJeāTTz+ QN+^zz!֥Qh"BN5iYy!}c+@gcZ<1+BA$iʞ\rSC :$AWR2s;KD`_0ɺ41(ZVb+2X<?\oXygN)k> PٟbUJwq>2FjǃXmݜCUx2 FC YLˆg*bТ:Y@SfY?/p =>y KT0G\cc5Ge"̒i愽紳: !!Tߧ8Ѽ`K0p~ Ch~ W<NMҷO }WW;%qs+ CTv&iހ 'Xpe*.FS f&HPpff"j}ci2WyrDsᢖ~M_F=`^%|" F޲K򗤩5z8`kQ9t}?SpJT}4ru MzLPg- ?= WA$'1oJl-˄}o'C<}sT^|s!WĀӐGg^nqDWl~w\#54?nRʦODP(ޗ :S3ɠC@=Qz`FR- 3\:M9?q4'!zz 'H@ԁ'f7`*@T\9-Il9; ݷ\A%Sgbl)ÖKeFa)à EvV\PF `Ή~Uq$TLX)-ʕ(#k{k=]^aeKt}Q6*k@CfIhmvIVڐWg^Q=r6z㥭&.`~U&yM{7vBɕ UƄk=!׆Lʏ]z