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.713cpu=6.928gc=0.208factor=1.877zXZִF! :]ŗXf1-/6vR[] 9*%fk^"i -AEN$ pu&7B3k8kJ+ѿO2 s8FY5q*kH&Y ~:M w_seyE_r?pji o/`lW< oV' gYZ7zXZִF! u]ŗXi%~c+2v8s6.4|B'LiVbD3&yq{&YcIMε|׉!0Uqu˩8$af#S1P,HvzX4N"Sp2nNzg?eX$Ģ\{J1eKHß .nۓ5%:$> yw\;3MU0$- LGl-ZNwU˃Kl;=LڱOP vMr{=ꫴ<> :jj& j{ g${[ĵjײ"*O53Tm|*nD-0@x4{'t!Q/݋k`N[ϭ%OZUٛі>skNq !VvBO_&ɐX@ji=>}BגWyz:5ƭ8ݠ̖ڄmHkPĖh<}wKg\LE*dgDT[Ίi7gn<3gfV;}WU*\.MNyYae<  @=%8XgYZ3ae1dabc7b8ab36c35cf101b3548665f4e63facd 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5a68d3a472b4dc7654f34af4ba47bdd150c34706 857060ed8c59d8e65872a569304dd512a8049f5d c8fc9da4a636155d4693d0f1f85cd40cbd01b821 f41b3316ae144097e02962efacd83afaa48a6a080ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 f90441050b52ecd4e3212ec269573a2d85a6e3bd 9 Stuttering_Equivalence