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 hh |\ ] IOA:threads=6elapsed=7.100cpu=28.380gc=1.180factor=4.007zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K2ܡn^@ Ej,?{ -\WX(nođ\zIR XcTus3zi']hgڃ!*׻F ΣE:^3‡dz/YCWӀp-'?], ף;O'U`t8?WkYeD&`Y#tMnUgd9YWq\@g{`:m[j.?hl]}I܏&.>C*en5w~":5_gYZ7zXZִF! `w]ŗXiɟdN'LvH۹p0Q2ǪȠ FzHwT~. 7Y^"B2~/3w11!:bSJ`wzQ@8\6@S ^Aِ2{DקYPOqҞҰЂtlvgXY_VcA4M;;, dtG ˉd?ɳ]c|{.ܤa>-гnV11K@x?] K@=.GӢĦ*$G:gOn'WLq=u/F:JhNb)KD75=P7ǭOGoSey#OCE>* kiS|gYZ7zXZִF! #Dg]ŗXi%;7 颀1Qx;l&-&eebנyDQO<^@If,=d{e8Н cpS2. J.Vo+`x1Ow`'__LĽ# Xr*}Z(Kp _ݘUAÔǗT f=ãɕɐ'%}gߊt8܈|}_mtNZ졒ⱏ >O.)rQb2èZFtPH)%s""z#ʟgK6 I,X= ~@cJuԪ,[jp#}ࠑdLG;Hyꔢ"oAώQnAK8B9 Z {&Z튅oܧRFK{uCoy.B"3"d-w=৾Dmja$,@Ez]㳜`؉kAPxGY&P.X gFܱgYZdfe4c73deb6f93361089fe92cd8dd2c12b8db74bba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494 dbc1f17716b66f0a9573155f3b3131e12ba58c2f  IOA