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 i 4T ] IOA:threads=6elapsed=7.589cpu=30.348gc=1.224factor=4.007zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)B Do;Yi 3y$Wg{yofdh^*!]l{wNcI?D|ys7nl2_埏8* :MNVإUGKBN.`EvxҸ1ESX\?>8`]8a&{2Jo+u/ڽGv:bο?~fp ~p/"Є B{5ɝ_%Ps(p)7-'}x$\2!bDQK&j nȓ$ܷ|heư9tcH-gYZ7zXZִF! `z]ŗXiɟdN'LvH۹)A,K "0/eťXglv-1j| \\UY"^|NWRENb={9C~D&aXxz>nei ?c-*2Օ\^6-i. Srlu@Е䤈'EAVK,Bj9T?GO,SI~K\\=W 9w`~N &KA`'P#JCayxah]:lK'[HsU˲=V4\(wh(I)4"T9syjEt099z/EF]nov 늝BW=P֟B6%+= t~\ E6&@0UK@2a؉ЯxWPoVz̻ @*zё*}\B!P>*2lX./;3vOǍBJMǓ,C78.Vwm3;9$w8^NN elQQkНu!dez] ʟcm8h>cV4ƬfTVE=L&4>Uo]x35F\deLĠ ;l/XP2˅3I59!TƯs&r #TLG]/: {HKZ ]#] 8|nW"Kt $0]>us_@KL~;GgYZ71ed82081592883f6075fc21312d6d205eebb0af247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487a fa853f7706f09342bed2b9e12513c9323ed38bdc  IOA