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  9, wS Stuttering_Equivalence:threads=2elapsed=3.649cpu=6.852gc=0.152factor=1.887zXZִF! o]ŗXf1-/6vR[] 9*%fk^"i -#ճOCQW4ZpveՐׄ(CzDY7VcNq Db{ v鐣]0׽т`.X_e5MEX|drw Nyy/ 0^/ nYqѝզqyaM $ԭ~tj=;E15!3}{="PAI2 ~qCq{1Kڥb%hG޳%BϐKHpd?_p SJݽ"D9p]'xr4F^}TB"b6comtϳ@5dی Dd4ؽ5NRӓ&Nb&YO",$YΆ>kjp@Լw=9W> hB7(?gYZ4f9bc4f1b9c1b78f50c20760fc7c15c3acae2c41 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 d5e4e41eff26540f800a86e777deabb69c0e9c63 f41b3316ae144097e02962efacd83afaa48a6a08f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 8d4f1c2032070e3b55834aefd6a604711df5c226 9 Stuttering_Equivalence