SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ?7 d|  HOL-Word-SMT_Examples:threads=6elapsed=56.285cpu=75.508gc=0.904factor=1.347zXZִF! 9:&{AhHn݃wK".8Y  ^IҸ(+>р7}9\!B'YӁ{kƷ_rj51\B]!*K0Vi&ط: ;[D8CNG%yףࡃB6H(q)ʇ3 7 HOL-Word-SMT_Examples-~G<A(DjxżVK/hO~cvfhvҜ`ͶphNOlnkYBP]_84?\>U8#'#X*]ZΥȩ (?Yiلr_ɿ˩0zeAuz (LJ/J~.S"YL,vtHz-+^hu‘ozBc5O/x2Gߙ^RWiТ d zhSo9;[lDxHc33ztWl" #vڷlꊯHD`&u5"/Yu4)4͞ȍ2 <~ MWojB֜A,orCV2r $=$&)5.O ]ir 3 4aƲefӹ=2Ls |=$\b(_)y*0:n8{+7;+v)4;=|6e_!+'a g/Hp6+'+m&pMfWB҂Y~̝aҪ8.EÏ̅H O^V·5Fw+xLVb1 @EyZǸc%h4ֈE&B-Fsn;#݈gG Iⵁ~iu5j;KlMB% :5Պo9Ru; c~`q[&\g/jWkg7X̡RB}ok!*mTaAJX.g:AR2e [aa9vWo|/4A=y5!KjwG3 _YRl#EI{GJƫ|ơ^4ȢJ| 9\޷EѥЪ'lfbyZȳt|v*d^BP}-WXF3}i:cmR:tb%`.TId"j$8@{kK;U;oEGѰ 69X 8{nEysP wb){i:Fx~5~~f,];8׀b=Ron.@ƕO<7{ж Ί9 YZ"tr,٧/D Rd߽MAAѴ}+⋪A=dO3􀔑 T|k WD   WB_X+T])<WI; ۔LN_z[ rTR;=@o1Z׬UT^ŽBНA^]ԇP ICZTLPm~::+Cl7N2H+>5pS?/ge .,Րl}@bhDLN{fث:UB6nvLzJk9^lu[h6;ށ bѲòޣG(Ԕpdgu˘k\iN҆,; X/!)7zAsN3'D8Kv_$vwg%֬~, t(u+UK\WInQ:~h$PDEt)}ЖqW[59(^`_VZ*(&St14uCth|=@}Om]H/y4u1^\IN`