SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 BB;7 \\\ ]w Buchi_Complementation:threads=2elapsed=31.581cpu=57.076gc=1.944factor=1.817zXZִF! ]ŗXf[&^+aw!m d^7-ѯ(^o;$rKc 3+i؃lˌ,.h}ݙTK*U2!! Û|)):9;%{23^N$yZt$fcB8N{Hhh/taQ/d ^'.d.#(R=|0ES{wc4 Hh h7 H hC$%WiDi)(kab>ZFdTenB,`6H p uKV'#ZYJTط뎚We%v5%>)$wk6WKqY*Ϡbqc㣫|^Y"?.~Z*0; J`$n`M;52 7s˶E 4]f7bB7L8&)W 2 sTҕWٿb9 9JBǹZgulE6W?$(Öw)yu*esCBfsp0\Ke.wo[Z.#e^_v+c.G(o'd !40J+LI{XV+ FǓ8SB L2sgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu^W"}mcƖGˤ1-F~.EbŨ;nP̊s* ;w=;gKMx?ύU]fg)h@VH\) uMi7Rs@EOя'#ޔYgꅖRF*xW +%vv][gYZ7zXZִF! ]ŗXi%>gef-)'. L2肥tI {lIԗ{i NaJXAִ8X|?5V]V ]ϴZ&%E ]lY Gn#q46~G$zʩJYYEwH.0\Pp)#|1T"9$o ÏVYVFnâ( .x=E4҄8K f :F A8MIU^\@Z9|, ` ia$Ҏ>J=qr([[K#Vy`& SDBk`dKhu⡼KYcT;gySRHuYWj*TU1Co^Tm>~qe˅{ت"~d%7Բ+(|kw{iEeb=3oDz0SNSOQK ŻKٷGδ}66o:-f/a#(M$V'巸 /pqGxM>]屇7π-&XGijn R~O]NCɏ7]Tֵ=B̯FUP36۠Ohmz~ﭛŰ('Hp'bJcD;f`udH ;aX!LREBX?Q҈yVυ&\a[q-&ﭱ*/eԴN}(󆳁 ?Jr'졠? jWה !M5ybQHBZjvDkWs n- p[ $v @Oh$jۺq{F%٥e3i_ղ[! >>Nܺ&t'F.Ϗo$nԌos}9GlNkq*%NeN,u#C~??Ok JʇT= /6&FRZEA0ZG M} ϳaKl_cF6PH*},i QGɒ?󝞶C$&3’:o `Ds'd̸gYZ72464bbb3e506b21b597da6f69c8ab4d655b0f220779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f db425a9259037423f4e156b4720884a93225bec8 3fbd0146b4e5873479c687e1e5585ab512d82083 5194aa18b86f6ad691dcb6298c8a53536a5dc3e1 0d532940741e4f88b7c8e98643129961c6784356 7 Buchi_Complementation