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 #1 T\ ]/ Tree_Decomposition:threads=4elapsed=5.416cpu=15.436gc=0.444factor=2.857zXZִF! 8y]ŗXf[&}/;`h ;,`%uUxp)ayP_g-w#%n5r1>r=K,R:cƴd4+]?b 6:ߌQ3c 猥Ɣ\fu`IBmFҋ=>r6]?IƫC$,o@H~M5(Horʂ:sH@*zAf|ó?%k M\P4hnj|4c~6Z,r+"}tt| u݊9eZԚ4|ilw{ NfT{E֫$OtI|'x8!@fA򰧞-5x/r"4Iz5yzC P A# gYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S5A7;@`DaZP Uҵ}cy3Ect9|H0E8܊H'1G(eAD>sFYWrV4YgYZ7zXZִF! 7h]ŗXi%L ]IB^"d̅l{v _f6ԃnv@9#Iҕ R| p J5H컼n)Fcu&:̟@%1|$P$fJ, Fzg?ukq(JƷVf  V(gY F&jDЏG˾gG}H+ytsC xd"O kP܉ +PFtu )zAn/JjL5P3K픦+B]<2H&?fU -pkj€^^- ;<-Ru7[q֋i'D 5SvpEcs=$Q"N/2_)nICs+Aݾet=1;=FUn]19:s=.@ ۅJVF;E߫n׬} isӓl' %.qӎ9?+U @FF&7ݪ6KG 5NbJ/ h:Ds-ꪾvy &q!xi6WI5f0>d1Ĕ##vP CvyWvo}C7;}ugMǂ|I Q=ĄLߨ6 l\Y-"Ve 5E xߋ?~nrqӲQB{“0oTDAs|lOLt3=`\S=@/| ؑ$b ^ꂈY@*Ru:k xvGžU)r z~4:?hgnfJ,m醇\ΡWޥtP5iۊgNV>D<B|8XLrҎuTO+wc`$ZM;X=")/nKɒ;t['o=DW|1s #.5C11޼/2vڦ B3 o bgYZb4fcad4e47e0cdfe0c1b5efadb2dc92a19fc1cf6d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 1 Tree_Decomposition