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 % LD / Menger:threads=2elapsed=11.288cpu=19.776gc=0.544factor=1.757zXZִF! X]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is{֧ LaÈ;W7 M}l LPS,D4xeq6xCGv |+M;rig.`&;Ӱ&IvUm$<]&nP7)ߟr 7{ ̭E,b[1kEaВ ,{ l\}{8nF$K,qvbhazU| E75 μëi% :rw:lۣ\{U'cL8 v;5),g/?hʹشOW8^* ;2eS'$-2:h,h0dWٓ9iW3`!kn8򺼲scx !Xznä%]ZJ1ug=#]kV|tFOs*sTe;H;/V0 m{BTKUK7ylP" KѮY^b߰To2hĄػv-2ĪBTg@W"Ъ5{YE,O^24A/sj:\gW͖g@sJ3# '/5T9Y8+[`YoҹְSiV7]߈bю\L .9K3K2E ^0Y@0A`=iGr뙤-]ħ>C^NJͦk̔ajae5~̏´NsIj:¹ ;:dR97?t7u?|5d0H.ꞯ*fQ#q b