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  RL$ ] ]Pure:threads=1elapsed=0.900cpu=0.904gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34355name=MLelapsed=0.126אhcKWX}YZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|f 1ڊ h+^Lz }Vgt@O"~a>L:͓ue/飈({S$HbMxH|>ұgYZ7zXZִF! K]ŗXi%n#fU/ynv 懆CU؞#٭{x$CȨ*K}_S7lS?~@IO4}'#I 9#%>Xya_Sp>kb2!fÿڟ.ml޼(9-ݾJ_8%F\ NdKq{릐1>T0]ecKJWlSqO@]FUaM@Z G'a'@nBa2AWZY..] )gYZf66f36b2d9c601551eb66e92e97a1905f9045fc90368d846b91517e6bfc74b22aa4589a14a64f868  Pure