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 T= $$ ]S Polynomial_Interpolation:threads=2elapsed=19.969cpu=38.812gc=1.796factor=1.947zXZִF!  ]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,x!A;_N =xˊFJ{IWM1]r0I"zrRt%RRAFX}Gp<<9yT#FKb`~R`#{6s*}_/0`YJ9n,$j*Qϟ V^b+ ISUnJD>miQ8,9Jp iNxgO{&V<'ykq9qݸ~ml"xyq@TqΛ0*$$ܐ]_ぱVFcG1:)ZT!;㙯CY26zu @M1=S_{ENŴh L7q3NL_|V="$NDR)0>葓y7pxa I\sױo.lpB-újHEZ3S,´fQO>f${8J6XiQэIj uTFt @З~g AM4:omo<(ԷÒ`DbF8s'vzp/I7p oO~k 1Ed>6iMD20|&_Ǜz!C&^&/׬vmݛ4||V0:@]%\:3dNJD4`- ˈܐWB^0nZ]^`aĆ .S^}q9^칬 - \ޙ 1R3*mgYZ7zXZִF! q ]ŗXi%90øcztc9N('Kr&9j<24f9yiaaA. d%Sj|.4co).H9亼\}Owוh^Hi(߆/16(_Nܗ:0kPo)d@ Po*)S#dܦ-?MX2QQ-Z4PJd,q݅^䒈m LA'DZ?8ЋgEй)˜[I݁m,^rYDZD񡔓V>V#-( i[ntPme]q!/'ݹV3qdyÄ0O?c s4|L;Af'-(1 ybUg;sFHxVy &GF;?STBF3;ςjnum ~%tO?"ؤ֌\ռNՇ|,ȘNd-#v;7RlJ|FH:8Գ@kUE TH"HvQތ&r0΋ٻ(@568Dpg)t-Cu&JIf_o`]r6>U+M7\wл1$-=Lk r4bPzR7.iZnq/L08QֲE=+ty4H"I\;6a[F~g<Ǐ|8BN0\yN${y(?o y:9z*Xhb+o8 d[=X&@7؃55U}?⅖-JkR}/Ul&;#}>aֿ)ttF; K zeKS$r1 ~ЛvBٱ9޹QJּf|IߵxX0W$dNKt9D=X1Wzl0ד'TڄQǼNR-8K[~6PrףJYRFG3]ubG GcĨVVzkOS9}1u>'a/HJetQG46jsCxT aD{(*v&[6!+4CTs%4uv6uap㚰tMT: 9oa?gԅ 3q!.'8y'?5 &e^? v`_yKd+?4Tm>P `|1# |I9K%4YrrwȩbP6C~K-9F֡:?O\g>Īs UܱgYZe1d78aa8bf79d8244c735a38af44a41dd70f9b36ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 = Polynomial_Interpolation