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 ""[7 Td ]w Buchi_Complementation:threads=2elapsed=33.511cpu=60.116gc=1.980factor=1.797zXZִF! W]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"].pB-'tmu{tfkN?nVJsU K;}L[YhIt> %ᚉuT TƖ#Ǎ+ epfxh=F<#]d?9?R&<%e/n,?D9V]*˩< dLyòߔY;N]Ds:-)#;"mr$}>FہjzP nhD!澬*e`ӗ9EV1)[n 4cZІ,-F07=ya ׻.UO){Wp" !|׹ii@{zkN!Ucb,`V..|C|2+1K$}Nф7hqYJV].0+դ<ND0I_3ޥȻ5T c9|N)Aj!ٮIԲ9=2>RRXKB6\rxŠuZ6jlV(6RdGrIq|80bW>>GF1*&Ɔ郡eZ Dz8"8g'OgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu B9g"Uh[ꐁ~swc^0la;Ձ)–W< ` 'Bڔ54`}ͅ}O5$|wLpگP~Tr~Do"N:gB=hR -g9]9Kܩ@'H;_;QUp-c<\FϹI55^gYZ7zXZִF! ]]ŗXi%;CWܓ|qn''IО-eu|R)XfE 8gǻS>D:=7u18]Q-7+f$A:&?e˼8oX&u=OS '>uܹ;CmD0Au[!LdIuuSB 8̫@ڄFBBFmÚ9op H-,`6i#[%# ; /vej DxΤHZ$ r:*glxt?!omf82q*vdy-r&ϝX2ZUdeTwQ_7ᕈ^>01B:Jc&RW)7Bk|0|2jgD 9.6˱7U4 Pvh9NaY2SD/F൝i3naqILHw0xj6Ј]iؒ4<"hₕW#@veQlDdM*wJ°w~]93xR^CklA_>YV˓N|&\IZd9J/a# >PJ=}'9Y}=xyf!WR-d85$Șa !\zkjhMFDu ڣ QWZ%'' ?xb2Pz;Fq!hnd9o2 ^.^R+r|zLƶ-F썋;p