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 d\$ ]w Buchi_Complementation:threads=2elapsed=30.548cpu=56.640gc=2.044factor=1.857zXZִF! <]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"Z'OkߙTӷ "gXAİT1G\¼8R7ZZ0Rsf`z}S$"9bnHiᚋE"APլ6鬑lnB0dv l0`EHwB[d\!v~Z9hҥCu ui ux̆"ѷ #Hf7bZb#  ONC@RI1m2)d\A17@:[B3P r)H UA% XmRĮsyIEz|^U3L$$gs(MzOZqe];s(ߤ:4{AXUa;ߪEGl^e`̝8rR: ɿ\ W0q fa+<7E6]"e'F9ٯ=|{e}~J+ɬ 4I-G+'$&J_Ίt >r#;),%b=Lֶj-MlW۰%dt|hBeY*A-1 5=p4}~gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu^W"}mƖGˤ1-F~.EbŨ;nP̊s] 2*d]DC2C=͡V-8@lZtqM.cX'^ 쨾~}U 18,6 ?䑁0>\ukM?Y);0([9}?4-sv][gYZ7zXZִF! ࡩL]ŗXi%>gr?(PFL y:I'k>U|0lP(2/yx3őZ[NLXt{ɾC3 Լ# $!M&Lɒ%F eBC` SCoܺ (I"l+Ez-Y2Al6Im PR]M!MjCo$BGR6-Z@Q5oc]<wj,ORipr[4wϢme8UoBkdOiM?.3ފBI3n?1Cd|/qrA0H9t$ c)@B"Owm/04V!}x^tM0%21G1+\ݑO>y[=ڪvP~ k\My11w%t&,~ Ȑcc: Q=Fy~(QnI ,'Ȼ'ڸtN[Kg3v럤Ԛ*&n~Ƅ$`PܧC|u$*+sv*M+"%Eb"5b5@3I{7Bw@^tomz\!܎ !'B HXtӉܒ BnowSbPWz(r+cP{ό@.qŚXr Ƿ.: JQĴBA(-҅/yBD0ۄ=isU/I Y+`Ufh`;녭:-[-awOj_ zSb4ln%zjayg ]?3*g֬q}۝o<{džaݙjR34:W /V& :q tWT7svURnLZ ,:ʧb,m%zozAZKsMrKp3.qn 7jR1-'s¢} >Sc3LT.$@ţ>oUVDvf\jA]?HdPo&S^XU㔷˥l;#VĖKlaD1ie?V{u%nKjʮ3hUӯnymDү: rPV,El ERm{Ae,_cMyݯ5 |Ne0t~Va#,u ýɃUx^A3l/%8wM63SjKP≒_8rI I.6a/ B݃-XqH݉QNVƲM1p'лB!~ ^@6bfY+|/à1;R@jH-z r ]ylBtyK ( F Yj#; /_n1rRX!Q/4;>ȚEڹ:്p *f2&F&yJCn ߾A;"qDNyi|<_/}çEcN4LI1mlKX_D}vDt,,]J:-oꎕ骻S(!`gw,C|Kv"o&i tF:4Dk)UO6l:PE[g޿$ȭ nCeF,o\ȚpvZcڙTu -joY (Z{)I#P!c4쪊0<>he*!nOwrNRH΅ZGeyC 17JiڱgYZcd363e8a0b18f75441876bc14650dc11b01ed73797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 aee5c2a96c3e523caa28841ab70d56bcebb4e1ca 10a37cbc4b1bf267a15ff46b217f5f3be3b6ddcc 8d65dfdedcd24d898b334fbbf17cbcdbbf07f2a7 c0d68d2fe1841ba7bbae23460fb3c087ab43fd77 7 Buchi_Complementation