SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 &&W1 4\ ]/ Tree_Decomposition:threads=4elapsed=5.094cpu=14.816gc=0.384factor=2.917zXZִF! vS]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>{rQȷ"wVMp^\9ŢGnى[6"j"~.zLo%+Rڕ-g01Q du oY!Yy(@xžָ=4rLZ)%3 \Xz)=u]v>r!IYh~5Y3ֵ ן9!!̄ !eP紤x('jƍ0YgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S3zH`^4}sgz__O>xJ<؍Z_Qexg3`д>+fVPنdl/2_h+ȿB.۟vM Vd;lQG)gYZ7zXZִF! 4>]ŗXi%B !BႳ*΂^Ov/R eVBᘋPnxrqQ7*lӞl0AsK,Lqu\ꔁt{k+Q|uzI {/*BJ|uJY^`[4g7}5ރJhM>/K'j50{ƉJ)AtOIK^!a&ڬ~L>E.?Й}dM)/c޳!F|-_rx^U;<8m/*ǚbK^@8FS{W>Js 2ޤ͜Z2߅9Ed@йةirċu!;CesF"LNS8ڜAWB'^A05]x$|yEe9 FUYW1zj5roi~-10D5I3iSJlsK=6/WpSE񤭔}6B)d@:urko"=Z ɋf?n=_);n+z?N[o(m>O߫DP{ B$L\<߇G FvtrV /^i}E㏭2QJ|J@LQ 3?1m))?}mR ,^?a b׾V)?r@8fD6h7p"^r2gC̞t1#hvwӫ@>b֣QvAOl+ 7Ԭ, 1 L^1m}+A'(Dz[}( 뺄MnqN(|ڡL63u ̾xQVW"M&-d 箏5G ዐ jX^6jd#&< >z[HSLMEoIG89l݈9M_)!w5Npv#s[QWD҈`ް XF/isIIkp4 c>B&<*.=>{lW2W~N3#%wi)gYZ00040a435e9292eec551385143b786d9c8fa3e58c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 1 Tree_Decomposition