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= <4 ]S Polynomial_Interpolation:threads=2elapsed=20.817cpu=40.332gc=2.124factor=1.947zXZִF! !X]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,-mmsL-97q wAwڻW~'NG/zkO'X)dr=-ܑ09+1Z@y{t%IY뚚1tHB}L}LsYrᛙJR0("κRU\p᫋GU?2~HSr,3,H 'xs;@䤐'bunnۮ<{#_0~@Z#H>q|E8g9?ù@t_C/GZbW&:+Xcu~Zaljwn!ㅾelQh&+ݦӏZxR]z u`Bj?_݁+oܤz:@<%vkCv؟(ʃch#IU^+OIU> .~F{vÞ,ڡh [Nu C@ka8ƈSbYo8@mP`q?[ rϏK&)/sY"0,~۴gщGPH̦&Mrr’8 M0Tx?zm>j4dȆ4L}NuCt.DOnC5 f>vŝ{q0OQ]P5AYX ZY7f/v !6wy{:;*_H6s&ھ}  F 39/ڣ7-F50EAT>Q<'BekgYZ7zXZִF! zR]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g A(LiGJQȥ q2go[NLζ^hL#Z!H*Rn}HgP ۧQ-K 5 ֧/ S}^Y.P ,jZl 8Ni]<&;.XYɿo"$v%̻K*eJg6?\G) g@̹s[s-7'5G/υxɟnOţ ұ/a=raL|] %0-4>%ݛ!wV:d"P}dA,?b E(bgȢ3_# /X4˙YZ6& "{FX"qmXX]eAN!m^!#鷾60aѩpP)L ~ FHaȴ4fk%^ 䈣̛ks5K\Gk;xZég<\%rb)"BNV[eB"P :OC{/a (#arn"=FdŒC۴э`ܙׁ.K}C p77o-XRɺGf%!1W̜ hlaQ?@BKE8e:cV8O;&*а9bHB"$L8_>hbM8R릺gEU{au.m!Ѳ9;F,\?mcvu6A<ꊬw< 븙஠#-lfov|bQ4 ߉Xސ$^"8$xq>UQ_Ĉ&ukՕ+hiM1(-SB6L>2_娪Cv0A8OiT^:Y戳 1Q(q|"S E0%/TBڻqIG/+Z~"U4bd+=0 )iB#ޱLhH^eur-zOuY,A(ƯPO56$l0DXH.>:?Cks̃ UdbdGCQ5Aa5MF3R=`}mchR #qj$ yHxܩbYA VFFZtQW^u@AFڽ j젅d'OJu%->1O&TKP%aJgM*Bel M6,'tԙD-OK녃ui2}lrgɛ>DA^<XF1x0uЯ6Չ쥄B,LظQH#98@4Rx؍&l☩k3itnufP|fRLeIݔ;MH>uۃEFXOA}]5M̞9{fC˿K10tR(ˀ1ظ1 ťDxE3CrLA!bgW&DM0@r 1,ގRW8jX_MH+?1TR?F8rI"Wl+OPK_MQS|9YYfa(9 6o9Cq(1L6?)U ]%*eug*B}*+۸l5t:  MɭgYZdd35cf9de799087e4199ac0409af8182b33e2d5b273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 50a806e8d89fb16262a8cafc0254e03764090dd5 = Polynomial_Interpolation