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 j1 $ m/ Tree_Decomposition:threads=2elapsed=8.116cpu=13.576gc=0.488factor=1.677zXZִF! J]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXV? ?HO`f憖K>?s3f`>w(PGle=1ZC-/-,GstR ?M6k8C)hoSeQc3HUYIo 5jFE9CoY%-Q !vlɿ̉Am|yo,T$Nň$jȓB~|Pdхi qM;P'5HBJgYZ7zXZִF! 3z]ŗXi%6yA^nXtMݪWJLQ(er2n Y#.wfog&Na/7w7z  (UI8.BaNUqyUfDtW*^:ޟ/|*a&n7(~)&27Sz Gz)٨" ÷b۵P/S;~Boҵ7,;)/2?6ڗ! 0p h/Yx1HVF&Y7&Y\>ּ uh)kJ,n"$U&U{A6a;‡qnUmLen>c'$/{g5˶v=Y!4tK')=-\&UYyN<-cqc‹rv(0'Mk7s#Nj症hr,9ZM>9.ZXWk4\ai98*%bPV zih[1V:CZf6Q$rHs"V7 u5EKُm?13sW~AyYgNogYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebf238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 1 Tree_Decomposition