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 a= D4 YS Polynomial_Interpolation:threads=2elapsed=21.443cpu=42.424gc=1.944factor=1.987zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02I1F- ly~Ae俛&[9{gd^ZI {6G9i%(/c錿k pLb Ļĩ~\!xY39*=N-OJk`'&'le<1 B܇;hkt2 4 *(7+z/?u^N? 54HWPQ]h;>\@rO\;(A[ %y+,ĺ!CJ;V' ;݊v:>h?0 $C0ס~9B|>Gld<< }ZTW{2C=3P$ajlANu nbC Ҧ-6O`dQ &bPAfuWW9N ^ \rLע] >y]1"3 RMPpyS{>Bܘ녕qxtT,_iʦ,b7yhf$DN:JPFUf{DO8S% E`EKQnJ*Y}R͆'6){$Au;9{z78iH}TS]}B)oi[PrW\nZXy7Ѹw VɒD*O͖dfp!c}k`|h U 5#!7(do7RGo} 0ױgYZ0c2e6ea241c5cbcf9e054ebff91076cbbc011d96 12ec7cff11983f7c7a7fbe6a056e7906b10e0c47 27ac21bdb159031616c4cf5627db252d4a84c80e 4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1 5c57cb94f124fde23cc428d02c89099265ca2aea 5c5e1236472315944402fb10792f7bcf14f7e7d8 754868a97fb8ecb4bd5624245676b23ddd584c4a 92a988078c37603d1a6c9e46f0f5d1d67d222e1f 9423cfbe33c446e9427e1802bee1b228805a86ed 98f8b5628ffebda798f975de4a2ea618c5f350f3 9f9c809496c43e458557929e05501a0e473845af b11d34899f6b5fe605610238ecc5ec490328bb6a b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362 dd60e39f2dd4a5069421c64b7763cd217c446055 f58d9421c3633188ce29b01448ae8179d8568052728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b = Polynomial_Interpolation