SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 xxy1 4 m/ Tree_Decomposition:threads=2elapsed=7.868cpu=13.556gc=0.384factor=1.727zXZִF! D"B]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(es6[O2c dj)?v# kB^™q_'{=Hcvw+zF`Lݵt4̌ʇz`;T3+-֠vݾ8XPJ2o(ri۵K"QGzO?&N 6∋EߛRiUu GaFJfk <ɭQECT,'¿߂ԗ!,-l켆 {vaգ_sYPؗyabהBl푑m,_G dx޹Hvzr#/},@eYE;G=O0q?]V~BYJ ] BN(A8E{ \Pgo}jf5* >0$m" K-\Tjצ'A`f( ̾}S$3:)E`j_J?1@(/,:0H'U }O0ϊګc9%M#0I؈oy`Uھ)=n_>`=(V3 طߜ《f359`\& CB øRVZt%(?6mT#C+6{2Ჸ)'7jz/\q;e%W#EVuroG]CY, 1 Tree_DecompositionV[T/RTqG۞gx6rxg= '>bd8 8Iu>/J\}AN>ߌ@fкϠHTudgvV܂net´o"O3,G] ԒRUS8zBܘK/FYRҤo5B_9ޞ5w$};iHd!5:{ЫVݱI,5oj`!4W"i݉ػ1l_9# ."my߳M?x͈l+GPsXtP6;v#$-yV82D`|>JH |2gYZ7zXZִF! 19]ŗXi% -ڕՅu 8MS5s#I'In+2dn6̚Yֈu] ۚN\&\]>?AKGv*ՄYN0Ρ1˸"?d~nN~ndgYZh=`t)s*Ě@Ot¼܋'_עRAbnJjowlfUD,/q䒊i@>5JU5eL!=2eDoX PĀ#HLQǒv_k(UQy# bkgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9