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 9=  YS Polynomial_Interpolation:threads=2elapsed=21.955cpu=42.964gc=1.736factor=1.967zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02O~t(eS6iXMhB*\5dlW,l=1b\౬0ޣ@k! y(z,pY9υwlYh]0SyR..lSm4"XԊ"Kp*K˳;6RT$Ez/Z1) ΚpTϺu7[0{\.坃|gwLʼ VjbEߝy(Om:q,kWˍǴ.Y'֖JcY&Bm`\S˱ju,,…9 0U ڷցyїr)~ e$46e4Q>LqqZq'jkaa]a.pN$c@|黊agtt7 ?L[(yWiz. e}yڝ*3':pbQKMM֫rj (>T7u jRs$/s?q!]`#VAm`A_ }}!:JSq-:~ZVw񻝘fWC&3-r}Y J9%j a R"1SĮM4/Tc`4ͣh Ȏ}̤cﮖǐ71rrgYZ7zXZִF! sjG]ŗXi%6lꞧ-h#8N #7P\ 3?|5_I  G#-lf} '@TTIzqUa~! 4Lү!9/k !|r`C}Z _/yg04f$OCKZn$W@ ~ Z!oqs͒m|5drXh|5Tةt mn%1IlhYPYSf oҳeMqe~HRxz ـz:OXS٢3 7%>Pt)* FrEuz[TE҄7FraW_U=TCzsҵ7 H֙)V<;OiWˆ/yA5m.A7v[7t%KNr ~kCo-鴫0R {J\i5-a}_CMqn[{\MlG/qG ml>9.$/SL0#MF:ema\nl h5CM>MԘTi s?oLm22 ;Yn`XL1ϤHד[Ry⹽_M Pu]y0:>;E(N~-BҐBK cKI'v+U's0^f ixvtYįrP( |OTTMp kݯk%   #gYZ032879ffe48e4f8a576cf73031ef5b1efc48909b 04838ebc096a0f58c270cb43e5687be4afad0744 0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 27ac21bdb159031616c4cf5627db252d4a84c80e 2c3e480de7d0907848a1519cdd85a3213e0d892e 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 9423cfbe33c446e9427e1802bee1b228805a86ed 9f9c809496c43e458557929e05501a0e473845af b11d34899f6b5fe605610238ecc5ec490328bb6a b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 c3cabaf82e20c20da85a471147e0d20f75fa4074 dd60e39f2dd4a5069421c64b7763cd217c446055b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 = Polynomial_Interpolation