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 = \ YS Polynomial_Interpolation:threads=2elapsed=21.766cpu=42.468gc=1.928factor=1.957zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02"?ݹ9I~ǩb916N|Bi`|V Jy#/a#, -忓bmŖ*^ NV-{9 ɀ"46ظ^fd5ơ|cә8E-'V q2_\k AE]-|,R@w%( }Ӈ޽}m_߲V[(@=+ՊÁb?vM;&{1cޞ4,^u Ob[L0ϦG_Y"Q3c\w. yvZZU` t,a3R!S {⟪_i9!] K Hdl \ym?eCIu ea\CpN ҕ=&-7!%қ%' C=»Q}7`G̗rd,%\ E'#}^7CI-Ҍ b{Rl.d5QT1k$rx /!|) @͔I_kicW)JwȍtVpMA ۆΛqr-?;"^_@W[o(.nP13@# VQTıu%D먟6>Z^5q5.&wgYZ7zXZִF! q%]ŗXi%6y4KF$#[%*ǐeg|IB|o)[T03!^l!3oYoWbc՜Q,;GZvlB3 C[vЯiѵBˉo?9Ÿw]<߼RB6/2FA5^Q E=m,v?+4&2I$x`cũJjm{0Sl J_DJvzB 'ʝhn)o{BA̡j'| [4xe?`F)~ӏA;3_J+ơ3.Sɐ:Sr-ownjkd}̈)1ZzFw / dN̑vA .ǾM}CCُt6Q@h`/hʟa'J5m0.% Udߜע2 u=wlf/ij<&)F.pI,]J%5AcR <3aԡ뱓 p06.j|GG.3*ī@ҳZ.h¬ƟjFHn1dJZB1]ήef &ϓN>p`Ă\`x^iG|I 0Ն.5:ER: /F/7bKeNU;7Ce{1b2Vr閥\.@ed1 4VUljQfǪn\D1U]۪]Ctķ'f Wp w|2%4vpTMIsew8\OAit. 3PL!fR499P] 'BҪ;SRF{!# [_X^]So}( ZKޮS4O'#Dv/H؜Obߥ<ߛ%<ҟH]ûDe aj'UJo?OvYs:fyWmJ,"磴Gig,' nёbG/-.yzS:'::z]F^Kcm}b7 `o*{pݍVG4F#-^E40>QLV4P xG1qI`?6K'^i%ӗ㐾X"`_2&&l e݉(Y3TöIΕo`]S<~xVV*i^7Tz%9 [,+yGQR+Fp :;u",mі,f fyWepq :gYZ032879ffe48e4f8a576cf73031ef5b1efc48909b 04838ebc096a0f58c270cb43e5687be4afad0744 0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 27ac21bdb159031616c4cf5627db252d4a84c80e 2c3e480de7d0907848a1519cdd85a3213e0d892e 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 9423cfbe33c446e9427e1802bee1b228805a86ed 9f9c809496c43e458557929e05501a0e473845af b11d34899f6b5fe605610238ecc5ec490328bb6a b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 c3cabaf82e20c20da85a471147e0d20f75fa4074 dd60e39f2dd4a5069421c64b7763cd217c446055554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a = Polynomial_Interpolation