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 <= D$L ]S Polynomial_Interpolation:threads=2elapsed=20.894cpu=40.940gc=1.884factor=1.967zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bZl%C2}W\k-w2S/RD c>7LgƼL>{Y  ]vIJt,Isnc0$(Uo#D$ n:eYSbE~#$҅2Ii7{, "단MmBSpZhgM-Y3y 8geh>ysu-M?FċeϢîm==A5^=xw"D4`.Uګ@o!O|mm-]4k6(\0xWʙ`5}-@6h+;פH_i{Cu-/7Ьd-'m*Hd*3vÚb'޾$ Dmt5Zb &#{0 c1=PG.b4y+Fp] SGyZ&LHV'oo(ש#RV'W-B Os 4Ūng &ɮ)F;'} x/ >HL+=ؙ͒fXh8ӊR;.׍$6[chrSJ}Ji^eIYKo߄r_^r _ʦobXKK;Wf/&2$xoTx@l8&B2du!?ѹJM"kFjct+;gYZ7zXZִF! zK]ŗXiɟ'l2ti0a 1(Wo7*$T@ Q+mmoLߤX5h[gd]_|#Qqb=r Ms',} JPH(=6qeQQ7tqJ NØ3,дCEU?jL9/tcB+Ղ 6:n(HC~Cw=j}( x2j-G`Yh~a22^Xo`/N|vxwlvw?uJbPrS9\r=t ;8OO8Ӑq#yi#~*P8-WRm]8,fA%_! & Rxop¶iOJPalkEK?Nّ'TFs)shUc26Cf,lzeaEl=% `\3dy11g5Yvz" cR@&>8i'ù4{-W~,!9ܟg#,I$$5&!<ax_Ye/e_F\B=雨~xR$':qA<|ySnY zz őiAHK(+J?B RיQtv@Ks5F:N,2ʲ߁rBӣvW%޺ DA`U 3cޘsb6MhOJ + L H2t)Z&k9Td,0[w[$[*EY NȜ ENW}w#֑BFnƻer,1TK ^sCB#|XiS/%OU le1݅[k{NJeyrG 6`L/j|x~ic&ur1QQV_6Ìcڡ&GO{GT_.K* مo?&o5!@-?0ϯ]rL[/?9GWc Dw]+[Z7* 9d0 qgYZ352115de91e8da8bdce425df8bb3381b4d38d929e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de = Polynomial_Interpolation