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  \ \!# D L ]]HOL-Nominal:threads=6elapsed=6.256cpu=13.456gc=0.588factor=2.157zXZִF! |]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮL ĂBi jEIm>;DVoYZfތcfɼ3.Z;~" ՚t%xw:)_z:C XGg)>(.` 632j877}gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ WqMO:~0|At`I'{J}YZ7zXZִF! q]ŗXi%;ŵ0.ں,A;*gSQ,&4pe"bqXMF3BK 4y>WS:W[r'Z @-ptw)QĘaY2f`ɥ[}FD;?HAL <Ρf>Evrma1 ~ZM쎎e=unuCh/|X Zɸ+ж3k:po )n"J׶'̟OMI/rNLpτn;hy DagL"Vkf0WqC>^$ blZPvYb*¹>gǀk;aK& ,- i[b@.jGc&2HƔo ~z3+JSL8:N(4Gti1XXMvj" ;}c_ܧ,P\bݞQlQSDk o;don-Zlʃ/H!\xTS2$AH69pFV${q_b)^<= dyL${Eؘwj#^^x-V/VhʼL<{JggYZbeb7406903538084f431db6c88bad5304cecbb8c6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc 83283116a2de2f1d51203015a8a0d42cef416071511486aeed0d3ede4740aba2208de6cd42cc6eae # HOL-Nominal