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  7 7>+ $,L ] LightweightJava:threads=4elapsed=49.774cpu=97.120gc=2.292factor=1.957zXZִF! V]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ыXq2mVߋ1ABqP}LziN:x俙C 8Rߌ[.Q%F<:ӽˮ| bx2cm/`#Xпt #Qƀ2AKS; `ލbkM` n6R/{;$H{xFG^"= Y翏3ҋ(2zm:Pu9("~.} ?}D>R^c&PnG!%H? ZzC2e<+?"Ga] +{B@wabjq6o4QVsNӌwP toE=wO+PA^Z~j'Njrm}ks@l+isi HI6b0׼U0SW{ǭ@gׂ4Q?gA  B}ǯ?DogC9G!6q=p 䕬h!3\#x\X1Fxe sOLX 7$S8\&0RtZWT@JCj~P&xtb[WMo4$zM섌2IoC'C?B Lq^vPˢV "p+řHRK.Y]Ô0]>'Z vҕE 5Vŋ~W$~'am@y4+v?vU ÝxT<[ ozɤ@I"agv ),vيE<,ņwĕ  ԠJǮ UMԤ0q.aȌADs&=^1J60\QU-Ȁ hgYZ7zXZִF! ]ŗXiɟ QyJbmyY,9>ڬ7~e9 + LightweightJava  ;^xrIuLИwX';;&YВ`YdP^a񍰐O Ǧn\/[jlO9ט&gYZ7zXZִF! *<]ŗXi%B:fa7k{'Jd7eTkt}R`~̑d]mۑO 8!Fi|vÔ6Q ٮ@u@1B[l؂ /sɷ#q*>~Z6zѯT>4JC*դ{ vT^taNp1{hB9]у͚MEWrl+|>vU ʦRP~KVphgsBSfb]0Ж:K{hHM-bD 䏍{Q?Š2֣sC$cK)Er,A+;+848}+H}GvPk1P]Qb؍n j#*qjrJPh/<2>,~iԚkѥ`񇕩 &$Vԓi[ڥ@2?w`N^3Dʥ7zuna{N6D!pf$;LzWfF2}=)o ?`I_]&\GzJ/(>qĂ- OWJ]s,;%Z8j!MZ WvvmzϴC=mbڍ<ؽn\"[fyTX*w_^H!o 5*qBʠmw/69=%:p d)ʷVA2za9ܼ.g\xǜWT, .Rf "ױ?jṣsuدҿؽ(L= \C*N40mrqjn)ҏ@KAzxً]'Tn:ӺQWTPW /wc{\ߣ|8O9 >4 )tHst74oRS6hT2$c w̺[SNyNz;`!yseNݽ3bqD?׷e&6Ym>O^BkC\v+ܒD>?{"o.i&ZvDr c] 9+{Ք#gj'DF>e :IK @v@H&]UHL8C!ï!#:zvť:t6: °\^lh}T#TM>zR]`vI8Q_ۯڈt7q9=C {a[8U:@>yip/ p\I̼ܬe'J vaIn.{z- PgzlyʵwC{uLJFI_zI - nxbn!7qbo/7m~d[E6A=K8(w.A]O:}s C72^8łFsbiSդjґ%qׅS&!iƷ|ԁz朩Q!9̛fD^o:\DНN{W}ңoPL?u}gO/'/VM"ҁ[YO˷}AzYyIH'ښpݜ \0jeQo .wyɤ) (|gg΅ } Pu6Ϸل~,nYg63g:}KF%p/ETGVRe FuEAw)_vE`=BC(EF 2,Ь%nOlJu2LC+{oV۪4b鞦A>RIJ0 s/Jڔ+ Y:8Z 3 _E?( BqE(eW s)1ggﮀ,O-޻dذaڅ[6 :Q Y8@#CDž $ ѷ0qqIr"U@$<0%; ⵊDV4na/~39ӹK_@èf;A/ ݵV`=2LmuL}=VT