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 y= L\ YS Polynomial_Interpolation:threads=2elapsed=22.282cpu=43.648gc=1.908factor=1.967zXZִF! !_]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02xTq='*#hS)r=vK+dzAQP~zQbM_WAXB$B[Nw(̽ww,kTT+"rM-H1my"j I~BW*4L]E$jCAr8A\CdRR P><5C혘3#E<`wS[;Ƨ0X@ 2JsE1K8χF!!ja1._`ʡn|յ]D3­834`^ɍbD{yjq<97ȑFziít:qkpLah\̧f e0͒oY"gnF3o4o""=RqxEX+)4Dy0341O/ zl餲H~ tg١5=W@9Ιܔ= ujRRo'qx]uڷwߚ0> oU%#`=̎c'@>lգ5Qݴ^7bE&T U%F,I0XI9R@!mvZBO-&Q3޺I+XQ&q.W>W)ᯨX[UƑin"b;Ԗ q_3-5vy=ԓ4?os̾$bm4ňCPBͨܮ#ȑᴚV!a P^I9 G%53H6o[BpgYZ7zXZִF! s[%]ŗXi%6Wq1ѱ+*je*ovS_wYh$%N`M)O̾:wU@Q/S/,~oP`\ ėM4gh{vhK'g0<X$/FnjEԯ*10VXT|Qz)ڕkF XIx}jeRXH+)jũpŮJN:s5Cq YhJbi?:@:^tNjt^;̶j{G/ \;hĈD(b-Or]H>!&ݩנ<,$Kwu=ZTz͚r-iA[JUŲIkʃ Im sPSgc-S NV`1'SnQr'FB3mh-%Q:xsm 2@tH]GX gkٯš!\Pބ7$PL+:J[55@*[-J%t`KBy ݢj^nQkȐ&}gSjbabO-K2";>B#췛/xK2wj:Q%wQYU5<\eS9ʘBR ؏z\.- ;^jN%<j8"}7AYc zCC)*FmG6 +djY7Rdxf,9ݸX|axRDF: B^-3{q/p ^}Yc> r 2D\DUf+26A4`ӑ0#@G.#*=ælu1B  ogYZ00ad3f9828b900fdef43f8b92ab95f7cf36820a1 0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 11617d627eeb322aadf62d9b7a24d625a4e09a82 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 29831f67bc4731886f76188150ce14b17e0d8f5e 4d8b51e86fff933c2b5b4e4d1aaa229ee1580408 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5e3992a76b0e09b9c6bef5649f0477941f33b532 6bb0e4cd49e3e144665847b22204a4911ddc4724 7372831dab65a2016ffaa58ae1f3c890e16253b0 8fedae7bb64aaf5ff3e6ce403084940ce66fba74 c3cabaf82e20c20da85a471147e0d20f75fa4074 d7958dfc50ed66d64556661ab8efa29c009ecc7e defef4d1575c4737f4307b6f24d6a5ea2e593461f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 = Polynomial_Interpolation