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 ]S Stuttering_Equivalence:threads=2elapsed=3.747cpu=6.948gc=0.176factor=1.857zXZִF! ]ŗXf1-/6vR[] 9*%fk^"i ->ᛥAdC8S7pNLȧ|DR-+r@ o"8#ŏyPw|Z}oa@*ex 0VgYZ7zXZִF! z]ŗXi%6}{ܸ/!jԚ\stn,̈;Xnq뉎U^ "" 6}Ū͊P .̚~V2V㑧 1LW)!"ިn5NS2~Ik9T|B QeKu~M.>Y" IRýL^jq.J=;ۜDi$XwhPe+9#-?W}(ηc E'zukޡǖ)=g,EE>ܟgfC/k[ b@7't?*.o׾[duxvplrQJ s8xD2Mh'#Tuͼ_W?/n'^PJ~L*0̘*d%b$ҟin+/xOgxgӱ}C5 ^'+KF #0`pE %,~m~k~l 9dͳTm {iFL(Dv*-5(EӉSۿ6:] 7@ɰgYZ9542a8356a5c88fb0fab5f032ce68cfaccb4e12872476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 135ea9a3480b99cdbc198efd0dae72272d6c80c0 9 Stuttering_Equivalence