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 C l ]/ DiskPaxos:threads=4elapsed=25.224cpu=89.908gc=0.904factor=3.567zXZִF! *]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,:-O.J)ը4)jbS~;ٹA8)3kt*§5?D:mdk[dF5߳3aEm!K%9O.J2\KXSb wF{{Gfۋ.t7M6vA1̜C>VӶ1 lZbX'zYbUnNZvDrhu嶅S&"KxDO8) 6Z9/K? 3 ?.T I3AS   DiskPaxos  .bLN㱔|wn "Yz`S,d&bo+iBnHښCNˏx Iy^~䕤u_[^LQKueݕNS+t6Nȥ| >0gS+Dam dۼ',=gsjvEO+;4~ˮ5|JyPCWT`Fqc_s7R{]s$CQG[JJp^52RPlʝOj>E_m#"K# ~ ^쏟;%jGe*2Ź-(ݬopx\}GՑ1='] NJgl@X@,!~U/z'AM3K_褻z2ڜrVx_Lh(F9a"P9[̂_; ~qQzْ HU>G0FEvL$l}b,ҝw o:!G ۹"h~O\~2fmm!,4{ ZZƹۑk z O:Kt:5{Ev=kL q * )eTO*N;qgYҺ= QeZ]r<|/@i89pl':ׁ-?/D(W4OM)VӅU}ZiġxpAz!< \iJ ,mL\8*W /rQUX6d[Ͳ4+7娟DY1rD,>%΄>7)X^d@2@}w:eFsNhn!NoH>ˠAAFh]Buîox)qw3K#}a09^\\xܠq `f u)Vᐯya?n;!1)4١WBƐĿ.3XHWm\\toev17G%mG(&p\s|z0›.wcB(|$z ˕ZӰPo~ sP5%^JtQYBRsmotAVte BɍWi^?QJKli3}˃8÷F f{H`$;4ʖo[ kvm WZ mI|  |3? A:aҪźn?Xǎ/6*dZ9/͉}ǃes nߴMqwҝʼ=W ,Ûخ=zƏo l.|ޣflL>;g$:JiSP+B싕 ͈aY+0^ekY~' Cc%#Pk5+Jo #$IK(NzHf~{  x p3ٟrrUK9ҁT>J]dȢ\|'$nDGw𼅏X(11AnΆsP7 Vj(`9wڳ|178Y21B r z.-.~z}Y"|n2# O#{{c`DNFR܈!tf ?4V7|K=՜1 3T~΄.Wh# TVQ3UھҥA9g62A6ֿHZ%pEdsXV0d N`Q.KTE xҖh/;z."\F"Io@Fc ٨]D?:-o_&j"Lo"nb>W{R pvtgӦwuS}#ú bCbJEE Xp+:&n1{@& wc ?y^ %׆"$J7.a{C#h1EYQ3 pCS 48#)cxbyV#bQc.Dvui#5z_,糧+BV'E€2LkŘ/{@F(:(+87rtLQ֊Ӌ۩$b;E+>bE&PmkH"C)PũYyw%#zJoTp)Q$:iE@4tuu Ct©)=jޛ8U;!`^[JE%qpYzu?``D-&7pM4D\L]W3f 6a3ȮGt 2ۆe-944<"M)tB1rl2U~3i%spVqT (L#h\ˆ3$ N!f\ĖFu{~-7!7T?+!^u2TGK[vhH 'S/qR_j3?@O@!NqψIӛY_L"~.ͬ&)85ok1R;ZEwXXO6Q,t浱ā@wd6soy|ɯ<Ҋ=_H~7GZf!繏]ѳgp2c Cl?tGlWK_8*Cv& oWql+]1.auJgYZ9ba5f68721e2b12e324f9331815ef2f3f17c6d614b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2