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  p p / ,$ ]S Old_Datatype_Show:threads=2elapsed=10.328cpu=11.960gc=0.420factor=1.167zXZִF! ]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}ik8c4?@vXDimwwNGl -X^;jטZR@@w׹;%".{i7ƨ5KkEdӒ  YwMٲh ? ȴ>Ư`ycgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͼ&X@'XY|SVJ:Yw^9[8x2gx'wJcE6l4ٍ9E4Up3'e:V|OY8\/&=FgYZ7zXZִF! 3MC]ŗXi%ή++@Z#dдtF}~?vhԔ:ks;1gmoL'tn#{fxMQij;_In+̅hݐ-{!lr,P4]ASyTp^RPYMS*)J12V/.܎pn̟ Ƴ=S+֦\9U!pvX'|X4,z˜n䉃Xaq]|d,tGb`%'q+jG}%@HlC_I \ytnXW)ղmψ;u,(_ZVt