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 = D| ]S Polynomial_Interpolation:threads=8elapsed=11.214cpu=51.533gc=2.399factor=4.607zXZִF! QF]ŗXf[&kRF̑.'rUsiBש-.X*!9aZ,K 61dAu{} d|@B=%V2) RcQ&uA}idazB>:Yﳽ$QJoX).ȁ%lla>FWЖ*3Κ^h@ 5cJS4Ϫ@Tw9Ruk=(2Kόp 0 4Q 'J qO&[!`IX#dEqeۄB FA,gI8OWv ԙƳ}ж]B0;,S~>Z U1Vx o2z*4 cfFtn?o-'hWaל7;$_'B! CCO{-nu_Y0kXX2oQ.B?VÍ7,<_4>'k=DgQRV.E<'UrSK4xtܥ OD]PdVG"S0!n *Cp@0:f-w3&R/q qУ! bdDYO20{@pE9mޚ#&f&} u7,j fAvflfdzj9-iRM##]U be~kfRL%pmZ =AW1] a{ jFP1a#ҁ-zIw6V:'8\9jv\'VEQcޟ'zsm+t:8gYZ7zXZִF! ~\]ŗXiɟˏ "B"V^W\0CI 跍i36^iO4z[Ckӫh;8:":h}BOJ@W [W“wy_ WǕ{DcYK:o M\q>CJ_]X0ZCQ3 j qGPd8.R0*JZvL]=?<7Ё唶dO (Wb6XKBgYZ7zXZִF! Px]ŗXi%>t{4( *8wWRu!ycUYe>؍Z1XOtPfe 򨟏(?&Ǎ]3`(h&~!%4PWoQaޗoF|cUzcSN |>&L%]4YJCm^]JUq UTp4GOf1=8di_՛!?9՟ o̜%;_W"o%E5XB 9 VGuҠ.Pd;i:z4XI90H "ґ.c?y-幾SO 2KAq4 4.&"Nxgئ6sњڄg*fOZ:~*<1,.o~3WɄO(HEVnAs-_*e+"п_#hB6ÃWr@jWsWYYbwkm.f~[$ZI!{Ǯl 5HהS,GN 7Wa\by0mݣk֎aeżS=~06Z4TP)Qd0sz@l%_Ԡ 3͖rUHxC">f f!?$x++Sna ڌ^^DpQf斦ɚDJVdX7)OIN0B]n7uD_5f)wdOb̅3 KW;~pl^ja;ѐ? %