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  x x | ]/ ZF-AC:threads=2elapsed=5.342cpu=9.204gc=0.500factor=1.727zXZִF! o]ŗXf1-W'S)b-LWtƺ}*5`ƕ7GFec(EgXmɎ_s.5& `h >UEEGZƺCbf ^6S*rȽ}ZL?K@%$׍,Jqh@- & 9э G79vAiWUe@Οؙx&15,""sI&Oz 4ݞ8;7xxȾlh{wfB7_=TgYZ7zXZִF! ,y]ŗXi%;ź7o|nZv=JX ".f4p6eA? n; /Gy!e+(Q&1^%;HCR ;+5A 4Pgr#RS߯y.#+ԢA[NU,OD0>w^:qIpՏ-^5DA^`3lknF[UNϕr ߋXAS: 'DMXbx A+&'u{V0i3"8 4`+q U1辭3XcഴZAte'f4/Equ*U[>La;>XϗgYZc7b7c436c41f8eca660453e064ccbc3a9ed7cd9c047361513188e7c72a6ffd9fc0d5d82009c64e0e 04a1dfbca61db5ab57d74468fdb76815a468d85d  ZF-AC