SQLite format 3@ . BBh77otableisabelle_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 ::C7 L\| ]w Buchi_Complementation:threads=2elapsed=33.506cpu=60.064gc=2.108factor=1.797zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`bwG.628պ F%PKO3~:]r|%fx,Z"a"Sok 'fɻd\UDCe2*O/3;۽F]!ёoRz%f,B4*SLS&>o$=Ӎ|扨m;t5i}+R2riGbVC)Q{ ǚ8qԲaӒFSض/ii2q$R9%ճPۃ"-nIp^?bW7kECzϋ1D'4!mwK#jL",ƙݖ#DMczOU?q[LU쾡ƘvQ;ac&M3˸c(l(RYEPQ"J)W=u~dm9t uݎ5 {ĕa /QݐiDr)C__ohxR<\EnؔFnk ˔aAu3V> gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu e~xnATT:nj$/_/`%lAkMnj,ԉ}{@ Ժ_m#{ʔtpKb3Csڱ18դ5BuaYX~QMkVh i}qoFE:׊b.3H3#f0f ڹLZdgsd"Z@@]#g6ur}= 5m[/\yojD؛Y-f,P>4FYMOd=bج΁Wncn9hOhʄ{6fnF#Ҟm^"p tMKnwbia=5 0 `~Q;`#E0*>YMPiʯxf[ҺvlD(H*kUgyaR40!Um߆{L̳ue_kn *Dpn4K ! P\*u8wVFJ T"'@'{ɑ;J0yCwI8Eo#ibqYi]dc聁uSfp_= )f6Ϧ|BC}_ /e'ɾBطN;_/' =FV{^ƛl.7AfDdpGR~S5pܫ:^ AD^dٵZb҄Af -pIl mF>N$y o7.eRU3mf{Q Ψco~MqԴ.ėZ>[=`*"g* M/qA⦑GaӕE5g;m˻l|A"/pxr C۱(-}3x;xM s I! Gl>FxQ7"g=a˲DvN+5~l'~7#2 WnDC.H@cmT& iOafL@Z04jܠ|vzĔ. is#\']%:S0m{FoI7"rWA-IB.$oR=PԒ(/c~#\W5_ +& <@T:I?\t|Z{5yLW2Lp\?3'.53V7GʾncK^97XH -@ل^ Cv=4  8bha`+,7Xj}$po,u)jxC^vq.b]DT\($\l%jpAq rQ1p+q%ԹCʛ2E4'[ڴų n:cg {,ͱgYZ571ae114b28a03e2170631bedd9d35782b2374b679d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 0c5953b692bcb2b87f2b7c3ec7795d09827221c3 c532b7095a0f58e0e717297c78a6a9f54ba5ffff fbcff36748cc8aa22c534f535c07142d48b83fed cf9da9639530c00a1be2df5df3906cd53254b940 7 Buchi_Complementation