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 ((I1 L m/ Tree_Decomposition:threads=2elapsed=7.882cpu=13.544gc=0.368factor=1.727zXZִF! G]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(esܢ^zosTRR6{,s ||eN;N_A W{6[t 3ɬ!d,\w Bw1˭M²} ^3 ,;e~p2XL<ه~XFg:S麱P$޳oQIu]GP[3 Lj`cHq4bh#Cb,$ƝȔ?"&P7]V`;4~scCﵭ $Qp}BG.fږ`+'5h{F&!ǀV_ڎ QGDgz Ξ|GӟÕ\;[_, ݶ Fz;~ϘX"W5#,<#G :r-He{ YiE%O(9)cj( =k!Xay)-L336Dm2dMJrr'Or=sضfc,8dé;:yGD8i N^KEx oplS OB3BUo`Ҫ1+)L/OiSB"ձ3_Q̃ۈՃv|2Ŵ@+q>m Sv:*nc!2[}Di#]K&b]sW 'ޒ7a^?ʛ't*ϼ 5m 1 Tree_Decomposition AhkL| խ^ UM'7z _ opAt\pk #Ȧz\<)` ][j#O4cS@.sO'.M5ܗ癕< ATWy4J* `nJ׻i0U%; q,m5Y<01r|K¢z%h&>ƆJM "Se X?Ns!"&beÂ@hQpf29g͘^ZcZo;r}$_}-4L%m뺆[eR:3°:5CnZ6Kg u}:Sh9xJWOB0u⭢.%=Ƭ qO؂-t6FXs2 3g[c,+6SLڋ 塆;HL&3>X7an<'_ Ng݈kl4[IG}4Fy6k:2!fəQ[BY~Tʇ zsR_}bz<-Gr w|ι XB^bA73tvtqg8!)PD`GCÆ]ˌ:Sl`Pd?cGwV.N),r5C<;͘b;TvmLl\:z6>H-gsBĮ/D._wJRYx\"?Ap Sք@)gNv/'^إƞv eЛz)U(ˬi1*Ɖ൭i=I(24'u)sdw^T~@gR+X ]zڐQuYRWpv-&l zE"~ư#f7z;PCS|zC>ޭti ~oH ق@O] E]K qVbp G饮65MHe ;ӳ. ܆yц8~?HpɎf~CRBhgy1/^gjgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 5bd961114de92baf5de50749cc9c1c7c9690719d 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebfd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295