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  T I]HOL-SPARK:threads=2elapsed=2.366cpu=2.992gc=0.000factor=1.267zXZִF! q]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ$sxȄFq9Z fO="z>A a(Eb"'yoOi7JW$u?%B>rCZp &gYZ7zXZִF! ]ŗXi%6בT1.>Rf2=QEcJ,bV:R4Tzt+R_:ۨV#acF+AߟhzlqdO,u%[wU0W[囬vБX>F;5+*Ć䏹 @~6"[Ճs{[K<;]G x/$^FnьXca>S 3P6PEZe%[tZM]pHθ>^o8 2ɱ6 3$UR 'f9k娨֎Bx!NwDT DnxمpEt!.@+Y=&PwHڧzz3ZD67t3"2XuܯZjoYA2D@M1\}NgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 115048f548f3fbc6a701d8d24a82ac92afb3d833 2d2f8ee4115c18d1e939782b42878ba632c49dfa b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e903758b245c2fa1ece3f5f3e47b6b201aa812e5238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 267c81e809c61c1a4a25e6188a1ae0cdd20e3e0f8ffa0948e411d68367e9a27127c7b26e6b29de84   HOL-SPARK