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   s7 L\\ ]w Buchi_Complementation:threads=2elapsed=30.430cpu=56.192gc=2.080factor=1.857zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"` PՄv2fdB0 ]`6! lgCgl6OH bMt~Fgӽtڑz>㧀3184Eru!7']aw8nV e(/MA;6%38V8Xd/~+p|VWbEHXM2Ge>^hp[.A-IգYk>/Y<^zo:#ApTݢ/^ːԆ0)$PCѷ3|0kEo1o0nj!atf_+,, י} ɑ,y#-b%X .9ت|8%|`RtΨ01ۓ` N=2f:vVO #%Yd?$xµ߰HN]cp9ODQ>\4'LZם@+*gԁ @Tq,TGjqɢ#$T\{%89GՑ9(Z'' = M76` h_۸DHTxvc`{lV̵"{zu#@3eDgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu ʹG?SohSɳD4Ji(r~Q\NBT5VѼ,ϺriHN5\;p ⾱`s2ȃہSg?ԖYWl,C@ug [RO2B%6 pd>|E<ř ^ 1gYZ7zXZִF! ࡓ%]ŗXi%>g O*K,P\pMءvfwL!,)'k r$Opt=:*J Mp(.D1R89,@qt4WyNO+5(Q# &Ё;̈u|/:~7v)9X'L9 V\E_ > 6Nc޹8R ԉOƳH!՗]]UHxC_ nxOw -H<ז=7sϛaMgoZKQoĬ`8~+u-*$3nն8A^nX^w X0MA?|J3ZR ̿ wN֣FJ߬d{yE0t ["yzCDO+uy28ӊ]u6Lv&@Im 4b2]wu&(¼>@AV0/% YEG,,=Fhֶ/Cϓk+1s<%)VP{;b"!oSǾ<x 6.qZ Ǧ;V_,Dk "g}Jz[Dw% S_Hf~"2RO9#1.V&R wP$X}VN~+>|6BΑ.r"wB--e}N< WPSBH;_עa{9%ynF ճ1_t&~qÚW˔4qQ 3sd J$Aejp:FƱGX-wv)SF+_~٢Z'qU;,Cf VKgUM-~̏kD=,'1mƑBu 1zC}"7RV4 ~UsXޛ{5.` I!t94J2F#YU&h~1ќ7D&kI<+@x9Gb5y/r@qX?62hx=Q(spl[**0Zw"y\{wP jIK( y77) 8YDL#(qĖ[ ̱ ] z xxؗJVGSeZoS:-*ʿl 'uIeo],'2GH%8J5Z$RŏXϘ%õ( hEe l5TR~U.}D$].E| Ost'5WUhS% /ʣ%aV2JXeG"wA˫WvI2R%SwM}UA!Wd.=Fs_ Z#|ae:u۱Y#+ZxIS鵔3-%ijJAr,th3pI˃0)CoVs* ,#sqڑ\l@YLX?kĚ#n:B@S&-ZTWb\pxS[,4lւ_膔d[$G_3?s7,9#OŎB{lXa `ǮB{ K=ͼh4i'0*h(5I%dzeu,J۠9)&gYZe320289afe0a98b746263c963f2b83effc74c064a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 3b1dbac46e81531faa9c2e991d4ab5cce9a96da9 7 Buchi_Complementation