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 E5  ]%]DynamicArchitectures:threads=4elapsed=11.259cpu=38.352gc=0.760factor=3.417zXZִF! |E]ŗXf[&L #.3!R&m'\2\kntJ;Ī G08fΜl6eThSXbOJsP=K3S0s7.72h䱭cj=oFeSPGVu_醉;LKc:{ԧ^akb"MFnVspٳJhg#%`z1 SA֪V Rn*3Fr\Ӄcjay Nk< U?ڌD{-`2t43ir?yFjz2"ҧ#%4v0aԼ/ʰ=IhRhFWnw/$҂$?1HFIoS-kQ٥'+v4$A]PI2x}ﮐO @p2*pokZ(盙mBQsԕ=b-D+3<^T: Ach ՀaD4JuJ0nT<NQ]0Ԕ<;RQoZK!)`^͌슈/xsp.92Rq4#Mrgâ/ ϻt.@7YNQь%1My@aެ4.}![DD^~+EHNPF4Iv\^0ŷ3A00KHo\9Ek_>1 lfvR*ɐ3t!Me ~s`m0fZPjST~.s Asn8rlzWw5?vJESjP"O%ƃ rk7 <ٽ7ꇏ#6k%2bs)|u+e H|%o` 6i{|6-7P: kj,^5*DA,kz'A 0JT~!kHU+xS۩?S[X) >w|C3ADrd"Q.fx_gh-x ڪ1b1:jI7v4Q o:CL#2-Wh , 3^4Ik`A ,-q>dgMfuxo-l~jh-2 &v B֥ثo̕D$E"X9BSݯOYH8*GKڼ}y'WG=;OA\phҔ"Uw?ժN0kE|K]p%[Kzd!XĔ0}܁ri9Z#8g%c/U껂l"j)E_F" +{QYre#N>Pvzn,j&%~c6wUnW3-Hau;Fw_z H}:nRPĕ}okk_O:7Ǭdf}i_#Ӳ1==44C /wW<[bN qpbۿx=zwG9nrPĭo:6zߑ^ԜՉg]44G-m I]HSZ@")[^cs%av:db~5w?z4liND [?ۻ ى[`K"0ay4e8 =LgYZ39bf641347f0da2c03fe8f565733740b6c771eff4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 4074a4e09bd0fd3fc9fcde79e3b01acb31f0e567 77ee0d7813f6d84b5fe81226054a666036c1b0d10ce15213b91ba055b59313b005580c8d75ed0bd1 5 DynamicArchitectures