SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 t| ]S Stuttering_Equivalence:threads=2elapsed=3.757cpu=6.504gc=0.152factor=1.737zXZִF! ]ŗXf1-/6vR[] 9*%fk^"i -*DX!5aKґ PgYZ7zXZִF! "]ŗXi%90ù3!|c~V򸉪N!b6JP,0]EZ݁gd=֕5u7{J}fPuZhDoigKY.TƸwM{\eCIcV:xEgfI-B9ˊdH"hlW-b(6GVKjG`[_[@>{m3ۖ=2QCՙ9`7n$ځ"0EfIB7RK6hZ署[|&јx1޶~wt~_mW*gdyxIA@0x tI= I8-e\_껾 `6  Ymƞ65SF*>t1x- uҞXN- ~T.؝Cb")$wH(: 2DL׺$v8y:2o]hLK&D|Q5 W Z!9XL߶? %7 IL֋? 9jtK42߸\`i3y`,8iߧVװÍ"+Xo0Pz,t57^$s ,a)]'f׿KEYj;+߅s=ga7Ig~ɡ"M(EtTVC=86T{=ǹV @jE*# gYZ051157e4dcc12e60502e8961dacddc7cef0fb238ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 1ad3cef8bd09bbcc3d16c741f3113651c3484e09 9 Stuttering_Equivalence