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 ww1 D m/ Tree_Decomposition:threads=2elapsed=7.971cpu=13.428gc=0.416factor=1.687zXZִF! u\]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXTDw`s*cܻ\',v٫a+K5/agrC*0vtqbY&K]rTw$fF֓oɜ6+xɇYkqɨ'  6ׇ!ƭZf@v27rh.,;V|!zZ!TJ2S0ןM0F-C$c- YM7)–+`+Ev[3'Sy~'G@ɀL4|2_@JTdgYZ7zXZִF! 1E]ŗXi%6|soNbo?ìouބ'_p9dCNEۄl:ٽ,\L}M-gdpEZs y Qȴtp9ĽUdO biPC(~)ׯ8Hڊ=cf5uR< ͨdϐ6zN<վ6<TFr[w/kS:ʁ6BƲZab[y.-}&=i :ChjRyoy.X0BB-F`OZ)jV%zufoGp LV羇SAm8._ڍ t3+Ou=МS?𙳷P8l=BL[ )jSf ~t,ڔ)ޑ ִ)@ėrWء

A \j$m}ܵo=;Jl'(AiҎ;!~.SI]Ňjb+ )|kۉD".BŦSI? "ӨB/M$m0X@QZR/%}R`_+$Z0!.$ +rɞB;mͦ+Q| Hs+Ox:֎/G @/2NJ@FqX$d|L.H&TUf6"4+NlA1 >Wy y]wT *`BP~`l`M;M&YxїcZrQPz$vpj ;XA?#~c\X >KarDQ&]W&ルc}Sѓ%~u%bd@gYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebfe4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb 1 Tree_Decomposition