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 m1 < %S Abstract_Soundness:threads=2elapsed=13.244cpu=23.916gc=1.216factor=1.817zXZִF! A]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$mo)b9iZ1ﲞz&&kXΞ>+V0xga[? k[ָ#ZQ-(M|OȨG[C$T&i?)r6$a>Fk$ ۝b~Nphxq{-D՝\Zcp n눤Vi0s=/3l4O:KS=lm|?[ұgYZ7zXZִF! FTW]ŗXi%6ҽ0blؖ<5=@<:z>k bG9!s]ۓ%ݵW:=3kJKKC|,y\5/ t) chfJ[:k80[wۘ]:[1 hxmf*)NZ(XCB˴i)0eOL(68R1EQUca!+ȵ +(^6K 9o눴CCTu~= zvo\-5x_g1{luﰚxQov4[K2~|(/Ppo?' )$Y@RtZ9\.$kIRW:4[CjYUߛžS~ν8NFtoLꔛ )鈇`6TS?_˰2^K߁1>lOmX0$3aoi>z1N RkI'O&mᯓb ɲU \p.ˋ2^[yL/b(۟ҎT