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 QQ,= ,,< ]S Polynomial_Interpolation:threads=2elapsed=22.337cpu=43.388gc=2.000factor=1.947zXZִF! O]ŗXf1-/6vR[2ө=%C0A9RJ341M [판?}û?\;P?,GA듢PqV>ˠ#Dѫөy=@_&?C[UK`b5؄C*.|>nSSjBihk!BgqqH3(sADl7鿟g:XίaQ+(N{6gM SHxh'iWm* J +Sj-NjQAH#vvG738m0HӯеwTWRy zc-.3jtwlPxiQI"W_!0Ͽi%4˯7A٩?6;}#%eo#IaW]ǝ+.$!3i I VK6xL:>"3v+|߽֨pm~/,փ*e)E6D޼FPgLp$+( Q{ ~ -_\#^ZC?]dEZ$$<33/a4מLجOz90+a|rb"G>|/;G.@ C)IGAg y} eJHwn/I.xD/SXрgAY\vK}ӪL*ݶ3NYWwrݩWy_"24,4kQ]k@f7"gYZ7zXZִF! zO]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AM4:om xZgrWVlS^q.Sd>?\֧%FuqB};?'x36L%dd94"o~e r:䃁E.Mk :G@#+B8}[w8yʢ%SXwqNn.fzY4/R5bgYZ7zXZִF! }]ŗXi%>g*@?ȓd噯ƾ$>ΪQl ÁLܮw;^ T⁜ՙ:SkCߐM2`|&2g`N^ЃI7fcMlE21)Ks#7EoڧE&qCj6n\4JɯG f9 <ƛ($TUT/oχN{V? q)u ̀uonp669Z5Fheme`b p;|'L|OH(kXgASvR1t6oi]!BQIpFY9G/4kUL~ ϝ i9C…|ediT="ӹEL ]&,.#k$Dm{u?~H_6kw ץwu+{=t 6-_JyH>s3C8Ŕ˄r eN@ZI3Y MhT^߀#;EЩlĢ MSй-oNvFr4:ZP{gtZS/zW![!!܁ERу⪥}QVۡ`fpFc7|b;k}Wcpx\%kEfi*0}SyiӉ ,qEaHC"o丿֥ʮSM)OjC+{')+2TVB落 v\Zͪg&&iyXJD e)Z,vZ-y|y-O'xGuf|`e%xs D TH!EQmR@ԀPsf 7~e聳O`G3eqe \Uz7H\HΞY5<ݺhxz{|ĶG.dqZqW|ҩ p86Yuy6hu4:IB'NhmzgYZa554e84e7e1a2b121a74b37fd81982ba5053ddcda70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 = Polynomial_Interpolation