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 w7 \|\ ]]Abstract_Completeness:threads=2elapsed=8.189cpu=14.348gc=0.680factor=1.757zXZִF! h]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\±$.\hk+j`{S ?/5}s}<97:Nd#z_oIr+A= e1k6mS>GH\uH> ߩ=9eJbn9cgTL 42Uow͙̦r£0yﲴyJi72M|Vţ7pgYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X,  `'B&s&FIͳ1 ǂ>K ->Y _= Pwڛ|IhF*wdugOZ+:1αbO;~>Wd͎f2 Zb@}S&zgz''0ٱgYZ7zXZִF! 3pf]ŗXi%ή*Ј6jF4K°qtқf_%v%>Oeg+5r[#lV:E*=1gFyt9W((_x Y"-|a}a/#Ӗ(}\Zɻ9$apոstyqmU- bX((ٌ:|U9 D ;DtwRnޮ*($ Dׅc΃uy-Ϲ''mbrPMb3w=Y}74hhLp=`~b(邩C8*!n@D3<_us`|ޠl_Pw ɨîNΪq,.EI}94VK<t!|{q16i/hAS$ L}h>˦#ס#Hv79oǶ˳DEi al7VN[Y=i8bn+BY/ x2/͖F;0zgi7[,)G)SMfN{PgYZdcde049b8719a66b17abdd340d215081f63129d200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41caa1fbc503dda42a27dfbc64baf045b98e4d75f28 7 Abstract_Completeness