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 $T\ ]w Buchi_Complementation:threads=2elapsed=31.336cpu=57.788gc=1.892factor=1.847zXZִF! R]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"`KUu X}%fiRuL SHꇎ'wx_Q|Jtp\9$Ԅ&Fڑߟ3BBА.ƶC` gܖu:IY@5ޞLpV??~a9ۧh.L_=> -))Y4[i:Wo BIcb1k6"Ia}IT"YX~caΣ1ٜI؈1D@k)wPgyS<ɤsI$!*n#OqEQ~nğrN fwqQv,6M1A^E'ao ϕ1á LCeW+tVk hދj}?@]Dvuj,AbD-8%)n)gYZ7zXZִF! ae]ŗXi%>gՒYf6IDHXV:l meƽ Q%#1*yl ]GĶ\% 9QMc4#4^5`)3^[X]`BEGKpݮцlcJ<=SF=`Pw[>-S%X^mEՏδ˟re ۃf \Moo` oKUŗ\R" WH[q~ W٬Pao3$(Q޲r"El8'8FH[9$}}(7>+IR{uYQXDRsk~izX"@kI0"j >}M[ x;<<(gtcQ'+'OC_"ylxӶ]R<|yVrgJ$^RwH/Tz ʶс j+]}c;#߄ch!O8WcԾW,{hSYhO$d0.HIU*r"y|)Pok"'8pj|kNsԮ.%qg VF7\b OK^? c%+m [r?$ wn_'FoX?Y;Nj+Dzq󄪍89R z kj׹5 gkn$zl<>{ dMDTF.44fKy{PWiTNd ޸OfVEm/7K\O7JtFv^~(!K8O%]>?y2 11DC^.:J" RH-ܢs#7!KJ_lJQrSPic)iF/*1T:/ )k|LA֨W!hi#=y[L3 Wَ[8|sL7$1).8ajagA)'K"ح nMk1Ks}wB "`d4e^_H9d&E k\BeK]^]P7kscT(2#³lAP3H'\lH*ޒjNH3e.\&XU“??~Hü[nLY,]B-Bj~lH1'5 JflEe r"%^p}z0f,r֍vpZ;}>uMzfq$x>Yõ1eҋXi^O47GBkV$T?.*$}^ 4>ʣ;u(l[6@Ze`oUKfE+b kI!8>fw K28.m|A8v?$=':ZSXO.gTMCWr~+kCmL ,b\$p%G<ҵ_wO[2ƻ"/Z߬RpGٵ^hO5JL̈́`+TYdh᠏'A$f~K3SJW {t+y}S!*^z]lmC_f`wJ=SSLj޻ |+̴FnMN'Nx3@-5i6jVi*w:1vPSaEGT~\_g{.=N$wá;~5:{1r5/>7B([9$)=j&2*[`ihdF,c͔9[Dt<ân|کL<yJ-g>PAp,gHDeȠs(C]a])̝gYZcd363e8a0b18f75441876bc14650dc11b01ed737767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9bb744655530c7dac052b5a52b1435eefa0fe0a3 2091c877e07d76f0f3d31839cb52e618b255fe62 39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3 67d156259d0dfaa7232d65edf6d8f59fca85ef3b 7 Buchi_Complementation