SQLite format 3@ . BBh77otableisabelle_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  2 2K1 \TT ]/ Tree_Decomposition:threads=2elapsed=7.504cpu=12.788gc=0.360factor=1.707zXZִF! &]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXT;4P>ƴ%bқa:AyS ʉNZFȱ14Br9"uC>^E6D^M>$|$y#14_* G"t+(s3);SX?-flT ASd`o ʵm1)(~2rI9Vp׼MueĈe=@d1IDUgYZ7zXZִF! .d]ŗXi%9#qwR׉;<\dKXз~їF)&*&H&nu~O郾@|8 q.ͦ1_ḿt׻T*{mexl9/06_ؽ e&q@RCLqd̘K1%`ާ=9ə#+fvљ5ł@՛J?s+Ñp:)J48ٽl mC7YSP>n' (_gnB/'j8E{¥a"I9#3CL3;Q"4) 5ZPZ/8&Dlj7$kulhd,E@98Ȋuq.6?)y\|ŵ ivZEN䀑IZ/ l(B< f,Bk@c|xh OπXkF;>6~rncp5ni;Ao=x>1cwalC}r(Fy8TE}#(AW<~p'FcXdm8Mz|O)aRm#e5;n7읭 얾C ]y5@|sPL^W*\N4nŭcKZw>IƵ,eZRBI;C0͛Vgv'G29‰p S*'5;ibs K$W߮TSfjpxD],EК`[x.ȿzKh\S!(9 ƅ q[A/ XnFjC uG>ĕײh7ίV]f͘H]𽅱gYZ567cfdfaf74d98550655d8274814977cb909b7df8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Tree_Decomposition