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 R1 \ m/ Tree_Decomposition:threads=2elapsed=8.046cpu=13.464gc=0.400factor=1.677zXZִF! hE]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXV}߾\CVp YJw"3Ʀx>ۏs59;ěH5vM%IeGku']3@C=a:Ojc$*Ѥ>1z8ۣh&V+T_ +舝G;-yO8cO`J. t ֚| j92:Sq(t1؊9bEnvn!O:նkEiHq﮸XӱgYZ7zXZִF! 3h]ŗXi%6uTwjދO^zRu=X']Qпll4G9J(`>u`l%U3w'yb|X/fzkr !0+/SԄaNπ{%*~.p3(dކKX vՕLM!%j Kʀ4!ь1_s)28pvbP{LPJXp;DdC4K oY_w-I+ :hEywHDt Q^>ZR2=m܆h2oE9v?+NBd[񆋘8֢5 CM_ ĕFZ6f=jPܧj1LvOJQ׊1AM@%@ފP \BQƙ}IZ\]qXz.PXJ"c"I 3 XE̿ C/xkL{X^d7/ j?$݅-iiYgCC׬U'/]P~Y* pZۏp2zSp5kj-18NgBJgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebfe4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 1 Tree_Decomposition