SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 L= l,< ]S Polynomial_Interpolation:threads=2elapsed=23.281cpu=45.088gc=2.000factor=1.947zXZִF! !n]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,4A@?KBG{hϣ3 ʼqEJCvo] -KVBXxBl*lFI@׳ތV3g&jl|rkPKWC120N&D;ٸi3;EiaeBm`xZ/_%??z"kNbgՙGSb^vg!}l _BHfD|<;R/, EV߳^}q^S;jrldoӨ/t *EIai.qNbA"5ݯáAq+F QhǦt4>z~95ΫZ&LV _ZLHrĐiPB fֺ֢FSaԼ30U60'A%t; U(hq̹HsYp*D;BHl2թ]ξܭ4A;_~D!4Ǯ$5,v{le|}7ܩ ioG~bƘmK[ܮ:) /u^O+*qw1h@З~g A䝞 mCf#2#>HՕśu` Ue0g b i+2:MY`Nb}6^:Q2EQa"hu8ƩeP# %!=,ˁkap\A-]-. 7G{12[?@%η[{|c,bgYZ7zXZִF! ]ŗXi%>gIB-*:DI_*6&P3ճ[=y r WڊE;y](bBָ }.e.:Zpֆ637~n63H`,'=gʚQ9Es I 0-sunzZ#% RZ ;!kdG3`wVc=&Fx KqLXV)E#'bX.J x$*aq 40f΃ 7.v.$u_{VsZѿ:@ۺ_w"k8T屒c틊g|q7 omyB'7bjI Ni-t~}&E 0dʨ56 5?aWr 'xbX)鹗iu|y%nE$ 0k'c*뎰qr iSO j8)DN1Q g/;p{˲kuj(6;^9dgjR%{ԐAY3 *kgeZA Ig7 oi$V75\B)# ЭwQW@N0~nudNWu&T||w 0nؗm[oO:=Q_ACТqǖiP6e'$PǚoRe UAfw 5Sw(; @w~xo=Ѽt_V|D ktB+(5ͭa娭ԭ9wCׯĜ?y@{2&lSCƱgYZ7dab3486d32dc6ccc28e734e7f52670fda96cae4767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f = Polynomial_Interpolation