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 K7 td\ ]w Buchi_Complementation:threads=4elapsed=29.663cpu=90.596gc=1.948factor=3.057zXZִF! "H1]ŗXf[&^+aw!m d^7-ѯ(^o;$rKc 3+i؃lˌ,.hSzr@Z-sXJpw:zB,-l2(tꮇd誫s N`vwѳ qrn%dP*"Y#ժ w-/İʳ}ʪ,CV붓+U ZZ q(arW>ޣlL q67+'+v+b۟6yݛ#)zz+Gqڷuzו >|BgI<(łV"hGtH|(",=*llr '&>Ěf2 *jRX1Kpɮ'=c "ֆ M~2?ࣦPPZ yל~;!]|d Xӧ=D ~8k[cܼF.Qty(M2%Lྀ@2%YUQ סps&Z}^ҧwLw2p>QQ9X|]w aCP@~h 0(wTYmpī%,֕*&xUJ$axm [LBwK(0MyEUE@_(dm<{4>hdChSvN]{}QJ ;ڗ%9eM:wbe0BUN:}qZ:ܤ\:mxS$_γ si!z4V*v&DgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduA~O1d8xDXP]MOVؚ@vEV tzq6z"O獢}R`0k[TaF {lp;X%=Dw,K>NlFDQuH`CnS߭nd @0:=-`Exˎ۽uI!gYZ7zXZִF! ]ŗXi%B41_00 5f6a79ilJf\M[{kiNj39ϝ0FՏu&~KeM,`fQه%<>CNp#dJ:ͩh5ƞRd <71d}śie|6ܞ _pɌ20u78*;ÑA?d!cݡ \O#'zߢa\V =NA]{Sȝ ĆxA4Z2)3:%w e&6ΫB┕)0ua_"ѕfC5BBdPW2?Aߊpj9 O+7-x" \0^;r v~o翹fL 'N/=1Q:7H Bz!ţ8Ʋ}YS0BѺ@f%Y`ctmD0 S$ Vq}_ZkƉc"3 aQ$_v-X.TlU0ib~_tH/'(w'hܣ,n$T0`q? zupЙ L"@Lcy6PBlm|?/ϥ 52TRsԄh鸫A'-Uh ] 7ba.Y%P D)*zޞ}yrW`?GϋAmXeezXgsp5M#ƃ=D49A#+65uo3+0|aҽ$ }y \\ eK-ߑR\7W}ebUc*I񃤨tK/\< 4/49;9| ]o]go&X8 3 8F"vejzLs Q)ҭ6Jۥ>GObO>pD8W`i|ǁ[waYPQ皻41ZEX MV0ԅ aUM4һ&'Nƃo4[.-iMtt~ kLӽ?I0#sL"nNR8'$>ݚ٠li\na?V{;t J04d#d?঻jm[Ͱ&nS WyP"s ?rEI3vV2.Z{0S\7G3vORBg?'iZ $Z 3l)yc }!~X{>Q jwg5%NS9[JߔJE=w1y[lKhҺQo%n6ojWSYd(Pq;'en[CyqDZgYZ869182b6a2cc0f15fe5824cdd5dff2ffc17cebc89cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 3f604387e6ccc6f78fcd3de0366f9d8c5e3fcd19 d037d68dfdb6e3ae31fbd2a3bc1ecc652e7e8c9d ab4c488d5cb268a3020a9383889a407bbe5329c9 703d80bea1f45fb158a8a23b626a721ac768f055 7 Buchi_Complementation