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 }1 ld m/ Tree_Decomposition:threads=2elapsed=7.753cpu=13.216gc=0.308factor=1.707zXZ 1 Tree_DecompositionִF! I6]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(epY7 'y4%4TRZ 5rYٰ#ذ;;ioua{{i5Yk1Ogo5pN$9;9.}7<Cym+_E PEQw8ęYGD+16PD}DF= O`y'.*>0%U M~7ݸVH}۫0B^rpvfN;K,ٴSqQϭ}iqzGĻn}WΧBvYi"#oͧA\{߻dP2wr*mˡɸa9 U3ˏ[48QR'$vk欱![<,=XDʯi@As1AXw. N䶁Փ KZeXuUČDHPL a'#(c35E#j8\57 > ]rq 7 Qƿhb!3<<ǽ ]@uGlEf^TT5R@viV?J)uĘh LGUܒ!a y<#K g%n[.E|:IGi,&qJ* P.1aθRU(|qi <.N!1z]& s+ߓ^kq2o ÏD> 2ɉ{ӯJ15J{fsS& ,pr;}tQEa,KsqK H2kՆmImNw?m/2I):bU=Z}ߥV26As5g]ii؉?EJ?Wq 8 #@Z CA_QLض㰉M)f \gAq_7 &BjTJ4Si=nȪ&bF[LD#kuijQygŌk8Q8l[KAYV'-G݌$B2lȾn\̎qrVj d"6etS_‰w{pEAL#" ߠܚt 9qѐ)GnR}w%Zr&㢶IIމ\SO@q('H X9Fs?NF3*?[݇S33"9ZWl?F#m *~Do=`.VL櫷ms؉*@Sܤ jlKpmFU`{va_|킉v@0Վ6] iYz `[Y2c/SEk'MM,ΉivCHz4lFd36- TvI,| bߓ"b+ ;9|Z}a825]6rw^R;`@׷qIW ,4cA_jW{Rk"a%*6˽Jpt>GFR~e.pc}- ]j&C60 b,;)bţgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 3027c82ae40fe888fd734fac052c869ddce2a09c 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c