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  s  ]/]Ordinal:threads=2elapsed=3.191cpu=5.904gc=0.312factor=1.857zXZִF! }]ŗXf1-/6vR[$ l0I/O]kPJ/iCd|-sN:BcV4[_??iӏm l|jWCjobtu愈*< W4Mxqt.*d[wXyhr?@fvipa"Aɣs_y_ !^0S|xZ gYZ7zXZִF! "z]ŗXi%;inS;tG=@wEH3bvCgku9irrɇ9 {s;L$xhm %7} e]ZbԲ\DH;nLJ#joYw:v=K98X U-^MҢc{ ?8WyU1@QrYJH%'IJ6r5Q W-9T:pHa174ўL9yگ~A V><́ft; ¥|~Bҏ1y➆ՓR}g6,Kw:3m0=i*ubOl !քeg?^l#Jk 4W" 1 3Po`ґ>Hhߺ{XeSu͋dR䖤6P@UvG Fh^ Keq:m/,k^Ak5PbN_i$%˖Vfanw+TKE@aHW;kP30B WHwnbuuu^(nb'Zl{:Zsݓ>} EF%(}0صP;abw*O@򀇰E(`߿gYZf57e8648eefa45313bbe9a214f4630cc0e04aa17273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee96258a17991a496df9ea95c1f0f4272b80e4e4f70768   Ordinal