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.903cpu=42.492gc=1.632factor=1.947zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02uxTqBiD51MxeSM/0lRB.(߾?\)`tu:MBhmfLVD;\Yz˷ER148դ+)}@G|yvNrr2x0"#'@q> IW3,~AzýCsOM)`hI`. s9v̰(6Fo@OZBb&BϞl)de^1I=s$g[]NNfx7c 2HD1(!/bw4-{b&r. ΌW8"sݳo%r;T5f;.h_׀ ytuxtQ?GH6)R, ċEgH5MrGZQo #N&m S ]sk'ZRO0xs \&EC)Z峢wN6 ETG.fHrOyE30i}"LJq3~+7NB# {P#/&Ő'( )iHG] ,{LSmFցiwѮgThwmu)݉&K֓`s6X_ 8BԚױgYZ7zXZִF! sV%]ŗXi%6ב -KnE"{X-سZ@ndj] [;kl ]Uwf? ;}LXD0)-$#V9f >0Bvg $w$uO9o}b1.LTx̮}+#G&ڗ_YJѝ~J/O3b 4Q_s#S 2vI>DeYmNi8hnQ]#EQ}}#k ? !~i a\:Lp= 4^'J`,g!eqRTp~c:؈3Ugnn~s^FMbX ~G82Ȳ&{0ܼ>/%"L5Vτ[%^ S9j~52.DR@jSa|e#k~|?/D$~+S-/2X3p!VS?V1{1ejD)f-` ( bVdC̾g0S*R2 %v3S۸u8fQ$oI>l9ƀrpD(%$&8JV!4fpHSNk* JĂ7-"LF)3=L૫FjqŌm ._"Oi4%'q1kɫBpإLh+P?EnD5Xr'Pα s d\Q-FMґouq2u}zUcBRB ӱgYZ00ad3f9828b900fdef43f8b92ab95f7cf36820a1 0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 0fb379be6991f5234c7fb95b8278dc2274025822 11617d627eeb322aadf62d9b7a24d625a4e09a82 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 29831f67bc4731886f76188150ce14b17e0d8f5e 4d8b51e86fff933c2b5b4e4d1aaa229ee1580408 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5e3992a76b0e09b9c6bef5649f0477941f33b532 7372831dab65a2016ffaa58ae1f3c890e16253b0 8fedae7bb64aaf5ff3e6ce403084940ce66fba74 c3cabaf82e20c20da85a471147e0d20f75fa4074 d7958dfc50ed66d64556661ab8efa29c009ecc7e defef4d1575c4737f4307b6f24d6a5ea2e593461238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 = Polynomial_Interpolation