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  >\\ ]] Sequents:threads=2elapsed=3.615cpu=6.968gc=0.124factor=1.937zXZִF! ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\L= t'˗b 2a{dl(Hi<7.2R}b,9ޤ߽=bsn< $j&lAb=vhxNK`NnV6T+qz]<Ӡ?.'@gYZ7zXZִF! ]ŗXiɟBv l82Xx[&^7@]Ű>$AfiwFݠ4 Dߢ&2S7i^^>u*uddX [-6ǖD*|$2Ι-}@?sM;;Ag֎@f9Z,|4uݯ "mQaj~lQ30jɞF a˱gYZ7zXZִF! (]ŗXi%9(P)' Z/pEg?-iyH:BqBb:f |#YUP\^U~ bĭ ؘu ?[!t@'vD_n+nW}HT&!hQuڙ\{lϞ JG+bLNT#}шoT'"VѾB5{`%7byXǷLe$3k}t$v#ڠ^`KArk9h#x `-ӓ8 XXۮFkk#ࡿUjڻ+䣔EuNDgnvľϐfb