SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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,l| ]w Buchi_Complementation:threads=4elapsed=34.386cpu=108.752gc=2.376factor=3.167zXZִF! %]ŗXf[&^+aw!m d^7-ѯ(^o;%x;zQEp+ʬC*8 .f6lX/xvM8X{ IDԦݘ [(.J.;nUUKY6'/&u&YZc8ތcl<] -cؽFrjg1q4Lu6NK8f`&X|h/zϨ!xȦ]|ɼօ18SoP7 $l7?{>"coFCZ/ŻjmG*{\Hqߋ2}@[$8E;}~B|\LZ$~ qn`S2&L9 :F:i͚S@ Bny^Z3n 7 Buchi_Complementation   |ĒlDrV>\L\PC0m]j*˽"5h{ Zoq JB0lm>jTU$񶎓a\/xI;о*B gCڤ ϑ"9" Mw Tmլ۞0>_2cs>_8nyovhhȷ̳K֘Z %s^d]I՝tfitCaU+mLiL8 2&gYZ7zXZִF! 1 v]ŗXi%B~ 7Q[l I+%hMe;z{7d67Vdɤ:( ٕrIxo^-xhδp+`qpx"Ipl[ t01>/"昒^AKpW$:?j ðMfGJ3h7%ޟmBv`hT*S˨޺/֦CPU`duI~~Zf ;~zTݦd]bͼ˘,j>!VL_,H&c46H!3 A XAōp{EUD" !@ /S.aYjӪ.JMNP0ޖЫ>\-;dD<O˜14 Y/ W2ymvB'ߤFY7W.ܰt^s+OGum@g6x/ Bnzlt5nI_ڈ*s|o$W ´3 J/߀+sdlAJyDjѓE[+.1^Ē"n s^+'e#Y{cHx z")w)xkJtaR%ֱ.Y\\eT뜪V勂s#Ghe>M9^Z8PB߶ %'%:]C¡e]Ŀ~ؑNS -zcoj̨ge9J$sź<߅d,|jYhq 3S]T/u"CmVJֲmƾL`sSF$⦺D-ľI;}{`n30ŷO}+Q[ ZzìO5`i^b&߄ւ&_`.(B擜V \4}S)SPH'`)Q>ĬhRP- G ڕR7rY B_K3ŷȽ&OӅ m*rK{BӁ)Fʱޔdy4 )k{_Fn[,R :' !4bT*&=6E+,wƹVofqHHέU[ܷ=sIZkPSدZҷ+yEn~:2 c:`6)  ?vyQ﹉}9=7|Q|Nz3KnTQH& cb}V1 *.ba{r*%sB&"Z4WJ׭jYD6) )nЛ*wyyqP' M,bXjP1 LvUFOqHfRjw9HL}.&'HTQk%R&p Hs|K^^b7I>hQ?#9)jm]@t* iʽt?ÎVQJD&vJ|gIg&)v0ajOm4YKISՇSV!Ir!>^/ Xn8`-A-nF%T~8[LeĆ*WlRJ eY d`o9<E+ C ڠrutN&MUt8}~cl ,02o+ѱ_ 2*{/NHb:;BF,2v7wF&ޗRyI%9>/uzbm\P5Yc"kGÍ6XJW*bésP\@{) െwߪ"=1]<9{% n +bIJ>#ݱ5ՀHʹt 7}~ߠפG I{~G۾5͎V'G6};>D m'чK~RdO_G{&Pg"LqoGn.R8craz]IH4{XqBNj tq@ğ)ڠadb}^e61:NrfQv㾘?zS`:v8?dE5>XЀgi0S|lofF$*#4V% "C6l15:8 [sj!˞ -gYZ925a0642feb2b299ca40284f6675f84f7934ab913853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 a521f0bcc4dd0ef0a4162c955b773984b4083722 8767d9fb6dc50654be1cf1ed4933ae09bec0b543 fa629fd7603ae616c1079406dd30d7e23ae489dc 0cde27fe3c89c1b627a1bbb6f32a6885a1486fe9