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 n |d, ] ZF-UNITY:threads=6elapsed=5.098cpu=25.384gc=0.860factor=4.987zXZִF! 7]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/7; <",v*],KQ),tk)jgznVBC7{:=tNaS'߁+teVC NtE.o_4اE#xVw5ù*-~Vx<#Aen ݮ&ɳUXMX*TZ0ؓ~F*3{aW#%f2]sl"i~wضQ J8 E89bWK_V>UGy10ƮkdIıgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP78@klf0, dO:gS)o:>B C0p~DIfߩ)&9N^\j y[Qcy? 88F97Zm|}\O1p I"ړX\o'%##&d{! EUװ!w::c򀰹VT>/$jqeFץ?xd(I$} !gYZ7zXZִF! ]ŗXi%;7 s^[N;:b}tq l*ڳrE^S?T"L^g%:Y2$il*=?aF`Vw~qa,{bZ 7ס@'()S#9&+}_-i @ er͛"}&yl(*ۢ^I\t`+Ȥ{A~=4 ǝ9i141>+溋lQtss'hw<Ta}JQ6IzE?Xۘlpo.eV@W՗vMN;+J6=[`]&2?ˏCB6y 祍4w gYZb653506004e587beb2550ce485aa1dabf6d0e36eba9703b8d89941ffe014c15e6ddc671ed32d9999 f77b4d7bf364014c514acce3f64ddeb2b5b5ce50 216df169598a3a3229ea12b3d7f0d42d93c8a72c   ZF-UNITY