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 g7 D|, ]w Buchi_Complementation:threads=2elapsed=17.183cpu=32.936gc=1.244factor=1.927zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`N \鬨 za_Z, _=Q1V{C9 cx,0i3l6$k\Wv|g \OWgi%}Ež K?6ʈV) o=ŎeC>"D{м2 gE@hqLܲʙuu]FN}"2#=̜&#.Z<%?V'uOt~>GlTRxʀ6BVB9U9n7RPmd6TͭsME( Yƽ6yK-#3 #nSn,.fR֊+^6ђPס^āDhS|aA $yL?F :sܐT2]E=@ϜэH)VgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu"}mcƖGˤ1-F~.EbŨ;nP̊sw${Y(me@{T4KRcmpgiKDBͳs&ӥf#4m dO+d^f8DŽ1;IIOoX)[hqk圜SZy6ka˶Ep~ tπ22(6<7|2N9[ob:%^ s @XP~mT [=vɷDl%`Y,Fe/`AH_70uD/ PW8c29cX&D28L Y5Ef%Dr^9+YH#z3~!ьGJ{Rz/ت*%)< -!0KGG T;-/׵% y+׷D C_0#&v y0F #$QU^q ue AG> FU9|V[hĶw{&TMso~#')'o3sseXks ;&08s|J*ž5j(!AhА!B CnF?>/cm (k>nL \ &R-p %T`Q}+-b)'!i0Z6\Oi8 5NB2C\7xZmR69~yr_u~cFt v՝{t{zpε9J~ǰ A 2<$w^݇dqtv)H7wjʾ{+me1A}ݜEҞY=@e1A*Wkbd\Ј^U^,NT? .g9;M:Z4 ѽ`p7#NXl a׫!-^%/T!-3|agm 3d%TYJ iܙW{Yb;񪇝3$Y;m$^G7hJVGJ&3 a{Z~ 4!2E6.PzZ~OM%Y .0 O6S?@P0&?;CrٳֽWձ/Ү*?'G$8؁K!K~^g2LosN4}};Z׻CRNP;bN陁gR{]wCI#Ḧ́V*~0ZI=/$n8XŖ VYgXn2iBr*43 M,gYZ2aa5c5a4773e406679beefe7441da2e0f91b20802722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 59e461f778241d0ac6835df93c20c97556764092 d00ec3b179ec0e09d4f1ea5b7fe8a50ffdde7a9c 4a834cbc39a682ca4d823c0147ce17fe7dc250ec aa09622a2a1048cfcc5009c8065dad5b8c9fca34 7 Buchi_Complementation