SQLite format 3@ .  YYQ77Atableisabelle_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, "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 kk1 4D m/ Tree_Decomposition:threads=2elapsed=8.194cpu=13.712gc=0.340factor=1.677zXZִF! R]ŗXf1-/6vR[lN.5ZoT#80g- JzA}Ee ^A߅X(esӮ@ށgٵed4>2XBy!mskrctN*U^E+Eǔ=t6JfKޕ0 L!8saA ,K}Ӯ~ t+Hc۟E7(@%"FS|z9 ¨`K]&4S0Zjg>r۶:1gԣf^kLUVF,~4nTЎFG%i!hC/"b B~#f <>h0U|/F5e~VxO/qƒ95 + ~M/qpՁ+#iOQ,{g;6~$:i0tZ̀CC]r0N2ƶk6+: =a&Vʆy0#ǚpN&ǖ܃#XOrp{S=ls+/r R=B$$jI\ٕ.cM<T?{ķl{`n pt׽=+XA4+E't7wֆ~oݼ~ƖչtC @VELYıUpcX_drc'#M9?8_Q x%V``6ltʛcJ\P.1NCso|mDސ$Q C$iΊԱ5}ҭGa?E޸lغ֬ nړS,~cj,--, ZjtXK|y45ҙHӔ&DJ!B ݋JcjgT'og yU G\ѳWRjAF<HyMA{y:mNgYnw`;k^=Vo-onU-)@E :6|iZN] [ J,5rEU{$^f;3* ~\][{e!pze2B\gNgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 1 Tree_Decomposition