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 MM0 D$\ ]S Tycon:threads=2elapsed=9.694cpu=18.040gc=0.668factor=1.867zXZִF! ]ŗXf1-/6vR[l>eMx?/᣶ކX?<}#h߀ZGRK| y}+`'Eŝzn+>%#cVOEG#͟)az>H !~ U-;Bաt:aG104f'Kӊ vK8Pz+Rob>ٺ0=4+-w;>-,DߣO{DIi,(L6˽Í}.fv-qyW9M V_8x tAz 颇6z:qX28s#GcDtm(0ǐP,L5hm7.rKq 8*L tpm.OW]fcq/D<?E+M7]"~¾wrӵ6䰂$)>k;>/]l /gYZ7zXZִF! :]ŗXi%6\8'j!Kl)Kx?_"e;ϧo iT*Rz`0H1!P gpM!-`o]^`$ S!HÀ yx=~T o A326*y)E2l6 [M`AnUPd+= ZA8 ކ0It1%$ ЎƤJϴ]m/)hMHn:(jf#t\h?vY^FwyFYБ7|d)H`ev H<,+OWY"h3egVsdE`WOl#Bmِ Z8x+.R??F37eoiW Jpcµ#< @_2k'僵92e Y{ǃ?InN{1[nuNz-x[wD?܃_}iLX*B-1aJݹ{Ond%OI,G G