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 61 lT m/ Tree_Decomposition:threads=2elapsed=7.954cpu=13.540gc=0.380factor=1.707zXZִF! 0]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrXVy󑓀Ӑ-j`A5dnu//֪t^13Q~z ļnAek͓q3.-V!~m 3BuJSB_*{RMsv'Zj(76HZ`zegsgF7ۘh)8X溋mLk(,nl2"BK RQݿ 8Dп-ԏUgr!'c]7yxVgYZ7zXZִF! 15d]ŗXi%6,t"NOăofҥ8YM~XU YvxZ4|Nzkzx][.l>o_-"KSm1w?, #6/0k4۲֨QܷjUQQ3f64"6OhX B2ku@\4BY.Vh&0/I8E}@{ 8p}3vfmWe鲫$l?Ye`O޳ߊމC`:Է#Ѓ(-M*)C8rD7Y1 n 0,( |妭 þ1z;`æ!fs Hh< ڂ4l=%י>@F7-*N LA46ye{R|r*o:-ؔ$;\~턭C !KCCdb(& ~ΆYTq8LA:OG ө/N@ ݎ\"oĴch 4h\%EPR<3+08 _ (DPQ/YT2ҡthuQN:¥rHG f}8_ B] 'lo6ős ȁc.M&vL&_rE pCH,4K<۱HNsi\2ƸwS${?uJmkOkj BJ9amjv[~wOww`ZRzArEz4g6bgYZ0a948135ee375ea4a9fde11b1b2e43f711bbfba8 2985b56e92208257adea3966050bf183b257ecaa 43c4aba3fa8fbe8452df3c1a57b29dc018ff53a4 4a3509a5067f69ec582761a878c82629d873caad 5b6f1962f7b26f225598636f9468dfc58eeae340 76bcefd2ca58a529896b0792bd01747990c7413f d54a5383657af702cf1dc794b8843ff9111063b5 e1a001c8f1cae38e8131d767ac65efa5d07f4ccc e4b7116758457dde30f28616086b32c74ccb7ebfb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 1 Tree_Decomposition