SQLite format 3@ .0:  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 ""[1 l\\ ]/ Tree_Decomposition:threads=4elapsed=5.204cpu=15.196gc=0.432factor=2.927zXZִF! o]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r=su|6( 'C  ڢ<+֗Uq Xψ*jlѩC-e4!!߭H#z#-(6SsKQ?Pθl1{ks#ƌy+Wn켥]2ǿ[9ʢm+]Ȇ\R}?&, u4Е_ fPb3l݄Ёo[cX={aymle ?SRt~{M@(3Y3"NYZZmVU+ڢZ3nlv[a~7 ͮc0{bbDGZ-Ogp1J0YY4 BZgsU+~ab3NNC>Z9({ tPQQ3rrvgTq(I%mZ}.hѯ`-.]U)wPa~-W #kS7K̈;kfcgiuJ +P4v@9]'gBΏ\/1HQxCzV@t"bBdy槵s4d[ij<[ƈE e-͔ՉRF%V=UQA 8.YGC6)ᄼAVjn`w(jWkJWJA;寘+)4;N!9!Wx_!qu4LSlse!V&On>Os0V<0,+<.P䫞*dyP>v핓nA ld<5 ?qV=P%N^ GǹwOgvKK4Kq ꕞtH@ֈ t]7KWb9j"B :4n0ր)%+2!(i{C gnKVAQgGT6|:/g67xr^|kzo?5Dx<)lqN{NR/N\5vp) 5x$$2^A-T3N0iS&ߍpie}`Jiyɋ}5!*zk&E:O3m%, t%Ɖy 8D'͎Tɏuzڼ'ym'.Aq,d`e+s>tF94:t h'<'Ad d'gYZe1b9e2e2f63437ed3fc0036750ad1b115f90a23b1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 1 Tree_Decomposition