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 o7 |D< ]w Buchi_Complementation:threads=2elapsed=18.805cpu=34.672gc=1.296factor=1.847zXZִF! _8]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`(Zy\; kp'JN_ c=?ϲ`R$eHB4{a@G.}.U"\՘rxXb+؛B&;U?uk^NG&9׃eLvUF}PSViLuR;a~)2_A*$Z)m~d5)B5N/"-IBZ>{f+A#6goQ_, b]_j>^\-6.\R+5$I> :_e!}gt,A9\7xՠk?Z.6i{(n<Ř#+DqP$K1;0+?(gJ4x/ݹ;wc&%o 4b[.F< ==T +]N3fy=(6I @'1 S8lкMZfEDUԹE};!=@GNW< Fb.[gYZ7zXZִF! ]ŗXiɟ'T\cř0x3L;je₧ņØ 52,W@shXO  6bpDIܨAT(UȫR[LzE 6qǒS̀ ŐTtG 4;fu\ ;Y0\ǬNs7⦜eʧa={U,g_Qaf }t }L3\8 D g;? X 6NXs8SXr w7?m\4?"P$x^BgA(gK(0!cQ^V/a T~ b`3E8}a #_aK[ᠩScu*4_5u."?ۉ]Mh855ddCyݎe :TUXT̟da`;( Lv˒uT,C>Lyѷ?!4v_imG&$sh{Y Ut' 4:ԗ `ӊTMkz3gKwfT8RmBu62aP*nVՆ{ckzP : Y*Ȅ.'dNcwα%|tcX34 si   .kƪSyg/uE]gR6Q(N4p1w~#*+Nѫ9XU뭸P$[j;$ n,$`:*njS