SQLite format 3@ .0:  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 ee5 $, ]%]DynamicArchitectures:threads=4elapsed=7.735cpu=26.916gc=0.568factor=3.487zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/S^yASMڱf}}ZйaaVҕ-EY]|+QtE ]!'p''PG h< +O&)O!Wk[~BD;_jdҦlY$9dv屃)M^}Rk~Qv:6٥&cjb4S!oي^c}7s)ܮ2ߦto#!&WKxBC|ڱ( m-;UzۚiPzzک4_PiP3&X̽7?U.Z{ylZpcS7?6LѪ!s:J [È\!blgYZ7zXZִF! z]ŗXiɟ:340Ψ_իX+jެDu?.jT yGS3,Z;߅Y횋y0W]@U1$;(X,ٹ4v,\=&!;0|[ugYZ7zXZִF! K)P]ŗXi%Gዘo;`1O}-eSE훲pħ n8:[T'~/=Sltҙ߯tv7 8={#k*;ҞQVd.4O#R<|}ަLrUPƶ9ꋴ/t(M\{gRNBPPX]|pԶP<:nO#]޼$ti\}1`z;txXēp.vA>eXRa > h5}sQ [~CHPQ_Ji׹9ljIN '{\PDBP<` 3=r!ŶH;cn*mrތ=xoE8cTHGۖiZwFb?TMwufk:TeiĚcO?߽z/@n:}H|h9''L[nV#GMrR?2FHaw+ 7|-nès{읔W+g@u~q. 3G^oj) *gE]ڇmě 6lƉ"j:~`&~-;i^$/=LpNX|3oOըR/sFyHND,^6Dg^~*|Y%h~AÑAF=Ք,*vf м}r+ݺ8Z|Qm T|e:&t[ݱi%'޹fl|$1!Rs(_Z2 ,m͡?)>,8hDEЌ(!}ڣA.zE ƞLЊi M/QkRٺ }%t xUs< AB}'t>YrYT7^ GTt^FX~O(U{?>sԭ\0rę_ήj[?VڎYВ 0*gYZ6ed1b8a6cbd2ba30c8ef0ac05ea583c6b67e87f678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 339e223ea75b1020d3ed72548f2444b73078fb912499fd942ff66de6ecf3d7394a0077dc5fa337cf 5 DynamicArchitectures