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 _7 < ]w Buchi_Complementation:threads=2elapsed=17.190cpu=32.944gc=1.240factor=1.927zXZִF! S]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"` Pnuv! /£I΍= cR9p$ 0W0R72C`;TML @ĥgYba4d1@(ƻfˬ0db FFgćܾ-c`3朊m"* a9B%-Reu:v:ur}1b#>%x2B O <|>U-DXbR=qj25v]ZGlE~e:⑛kTg*yPtה돧T9?ls"mEHEn hglLܞ+vK$LILBt!iWq c?3(2|f2E-zg<#검hË?qYq>}((gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu@okU d._*<u!M(ͱ`zQ44zCN@MP  I |0z `=s\BaJYko|$&l͐(f=٣hJXB2W8% >%(Ad10>kOkl[c}b+m<Tɗ?ĕ yhG0s?hNrϭn4A_-9ФQ$m{[m\ (Z@! |: v4ׯbu?-Cb; 'ܚ2[@٬w ZBaHkxT !e`,'pb8wKZ1+6%. &B֣|"ŪGiYQZ)塈qvIP)-2U$ #\ n%AH$!BSK3qSz:`CB-&œFˎ0\L@tdHY{iRf^>i`_J Q^&o*|S"b?!Hz59/d177%JT|"Y4(QKy訟U=RaA5 bնB%ZpGcUT@Јڏu#NA, xd0`)PT[;4`{u=rSؑ=:6 ^FtDp<[|?H+ǁ j_7﩯q0}LwoHv~@EB rd-uBZm)Z{韞eq+(6tkU~%̜gQ%*[fG ;`IhNKJQ3 n<C2h0?uyB䯤10}1\WE난Ymc%^ִב~ [ I_S  TބeK'%2-! tD\K4>43ڭLE-|Ձ沭7 ]ԣj އL+