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  pI4 S/ Compiling-Exceptions-Correctly:threads=2elapsed=3.748cpu=5.832gc=0.220factor=1.567zXZִF! <9]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|9V*՞:<ҍ9Km2'6 W 쿫~꼣nwYZ)$]6 4| lC^BܵrxdezLBVؖf H]b/uN@Ǩ%TYZ|oqגw< Y riRЮ1)wW pDRm( |+} 4<פK 82 {n@fƏ毢=?atc:U`73(ʗQgYZ7zXZִF! T]ŗXi%gvDb^/m2 [aBYI>gM)Ad\UzϾ0T uTk?jjAKu+UȲ!"囍1>ϵ'޿ȩ"4vߐ-[DvyO1JOQ؃c.a==!$t b<-~XrЫF ?'AHy7^0iB0 rP<FQË^:f"'ʢ5K8anqIXG]`hT 0"7vIoL{tI3KF\?]*D餒,i\a*Bth{QuTKMs?㷠 r ,AgcP Q*