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 [ <\L ] HyperCTL:threads=2elapsed=15.667cpu=27.916gc=1.540factor=1.787zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]w:Hck"*B3{ P*]%=E^:]Jʿ*sߛ=NI{b{lW>rPz^A KYg &YU7Yk$p[8 ݁p_}aQ&=98y#NbSC|!_%E$qUh ?5xcui7 PIZld۽ؖ*! j|,(/n5"fng{jU܇T~#LaԙNL!=bSO$8U{{&Eb$,Q3X*Wq(7z.G=- p¢`i\!BDo]̽XX cgYZ7zXZִF! ]ŗXiɟF@Am|{'h1DlƐ/ULޒ&d3ڑ˒ƴk)%]cά 4YXO+t) M!ݶ(}|"+ u]6s_edcqgYZ7zXZִF! W]ŗXi%;уwY{VmMD&,Txn b9Ë̀2o*5\1_,ySٻtdnP3FuG{9$HP.!b*zʁCc2EmRƟ9˾qlEqL1OHhQYIs4h(0T~J`s4:ZSw*tdl?<SJQ;</۹{~D/Ն'DoO cy&P0 8K\_)j|A(ɴs']!g؟,2&hH_;D6Y'G,o@ N4ԚُMkJq;ţ#CzTM\bd):$Y癶=n俊]+?ƙ "٨j9Z%Q:XQh1uDu:NqDzVUKD']\Xņ̆h|ӓ `t|.Q4{;dww65a nm8XwFyv25YnvR~lEbx0Rf@ŊSiq"~FY3EqFu- g oi^x$g:Rr$YXD2Ln[bTl`QH|)umQZU b |?A.Xy 㶚; wKqSIx^YcE$LU3> or\q]ȯ-E $Ur=3fv^p^Kxt.UІ'YdZgA6>AjXJrQ4,:oWxyG&؍Wqg66j %VuZ{O˥ EtJ 4 #s/q; %,|X&8\\ Bc"4ƃ or'qz1èݧ/ՎG`/S :͛b4q |و2gYZ80e0bbbf0f5b8909bb0d40699fe16049e762003f79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069   HyperCTL