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 ]/ HOL-Types_To_Sets:threads=2elapsed=0.866cpu=1.420gc=0.000factor=1.647zXZִF! x]ŗXf1-q恈'+]&29?M )~=lЛvLP(Sd2ZbU*_Vo2Xg۹wxJO2U?~Td:d'gYZ7zXZִF! D}]ŗXiɟ1KwCe ))+eWi`; S$ޔ;I=k徥LT~!*J.VSp*|כ"<@l 1$`q(EpKgYZ7zXZִF! l]ŗXi%;P9s5'!jii'vFOKMPiGv05?U7Zy|Za제UYp[v !Uco{QK[Nw!7ALm31 '# pSvm {>d6˫k%0DrqFzBN vS${"Vfg TxrKcVU71&DIbߋz +?f{Ս{ÿhxϽY%&!!(,/,$\.ZY,k$QE_R!@uv^&+A :(V+a~.cwc' ʭLgYZ430f43786a606ba3d64cc2a8f7d497fba6e2e0264b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 / HOL-Types_To_Sets