SQLite format 3@ .  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  4 ] XML:threads=4elapsed=19.405cpu=36.684gc=2.376factor=1.897zXZִF! ]ŗXf[&OJx#CJmEvy} v ƮI0e-F?sYfּF|WO`jYJ(v-e6زPG(:^F%]TAstX xv$cL)[rC&^"wچ} A<w!+Fҹ6C;ãfֳMp1,TN[N vH: sX^ +d+reW0yKTi\'/&^pX;4EO8[Ru#]uyQ$P`ryLSXeΊSWD 񃳈ʼnBMU,”se&+މ-k~s{jNu/]jⰱgYZ7zXZִF! ]ŗXiɟs}KKʹb! +W9 fGFMB !=̷~p2X@e0@zkV夀gyj ^j +߁q;*s-As \ZMzUv4ő)ˏ~,JxHl0Y4C0SL4dI,q`6#mK28^rLy s%psSLJVZCRf1O CG龣bJUٶ;bbI:tOkD_έ`KD66_5BN>Pā%aH? mwɂ *9TOi߈b5QBR2㵯uO QcH3pʑOVDy]n)sB9 h$]iMU" oZ5}}m&N#CĒ#*eNmbU |raa6+qV_T>CVpʶ.0ri/2 lgĺ}ϤM5$vv/SCUuB>(V:j{Vv8BCV.V&n==W@4bUoϣw{8b==K.813[؞I8Gw%+/LIW ^څUĦS 4̹? dn DIϚ|%BܵIq]mxii.Kg!6̞4cɤF ŪVfgY 4MG1SIR,.NEA'0 #dߥdNwyR3j޼{| d+3R@mnh|DdG_!}Q\hx]U 6o-Av뫍碻|% !YA/:Y6Jh6O+"oERn$+L*pHg(&#ߏs;l۶wmz1w'%T+WB^ŌVh٢,XPn@" ON`6ɞA* p'εZՉB5#iM~3OP5N]{ҳ@C#kٙ+#ůJ\~#"2ځ~^}Ϟ7sdAebf9dM}J_ކI [U~|EOՏQX4C.>3 +s+-'vI.Nw!y?!7g|ɳ?6;a,\X|v`:YdH~PE q /'xɋ._V=!\`2JpW%S.i\R)1 :цg0_1[2&1U"*Y[9~3$o?kveľЁ <2{LX:ʧvнdר3¤Y@9ԙHVPRh8N?OC,67д0-˘RzhM}WABD;eV x`\xf 1)O zIcHҳ8uJN,]r׊$Ѽ,AKuVb8gӏq3f J ż-nngN5q]Ҋg}xmďmvEQ1.3KnǍ# x`i7 /CNcF p sQ7=58 #&1r@L,7xxOTvR)P![^lU?p~_iӣ[e˽fF ~6i.]ȑo@+=<mxVHgYZ09f010f687dc9a5724d5e6c704144947b442a465c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c  XML