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  |4 ]/ DiskPaxos:threads=4elapsed=26.070cpu=88.384gc=0.832factor=3.397zXZִF! )]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/-\W"]qc&'_դWocDMP E!m[֮nDh$1Dk\바ͻ: ځ]`S]Gm2 Fg]H19A}SΤ|gF6V#m;j%CHfeKA@   DiskPaxos  چ،+ߘL?$Ͱ kvJM&61 +7h X;sdy3sgFwOB~ ,'&@ʼn29ZH^R}M8 Jf.]y?^UTPA9!⁽o> 7M.&10,/1=}a{)촱wQt)߻GE{A$_H/ a⪊1^#W^MiYR_FH14."1Ef<581Ey݄/=iI  H4=.SIв-6lLn ` qlezIUp-8c] HbNbw'w0eO2Lss0ziIEUK$ӇMkBѐ1Mʽ$;nVY}PnUـ]Wj TFmDV7qXfnzbh.{&XxdQO1J"^$4$80-~r9$o~kjwHXSJ5D҅vdL v SؤB2!+9$Z*;9 `y,8Okt.MK|K̓o CiiL5# ㄰cyx0&߁gszw9 %MN~.(ق 8z0*k\AYdU0߿˼EI6 G thQ{vW]D"c,FSU; d$R}ffqboMontsPXs뾁OͶ:<[:T% xv {*oV}u}, hG__-_0Y1j'HS!gl>uzP[C:%31]Z@ޘǦ4ӰhǛ8e‰LJ3b~Qi2B( G1fUS '[p`2Iצҧ_<,hzwU;Loy'/w %x5xr#_'"[*<^ G 䲧5!Ŋ 8BlL)@j2d6õl?1@`cnXwLƏOaDޕRUv 70?4:lNdUCe;=+> r=M0-1S kl[^6*rkaE1,IJa8=rɉ% ZFyh ;H8=WOufQX9 w5 XW3ޤ*YͲ˫@#{e}\]D Z_6p]$rэ*<bd~7 N{ͪ1gT @~G=#UW\%'l Bb{OZ/pSxdV"墱@Iqb8zz/N!;2]y n:gt 3M}-7LDuyfK֡V-k?#0-o 34e6N/lmQމ E  e.B5 ALO(}G2zf!@}Aj1 VwzfZe, :T+,?0?(*-yyy@r-)dVmJot;-u_Hm,FrA O}(*'>V)%L r;Eя$~뵾@'JQR&:=H7Ff7ӷI%W^ Gr^-29!t;ANK$L(AH1 tk7,kCY+شëCD+^Op*fL-L^ø6!jVnH:<m:'L)ᣞa^~8/~k; `00?3GG6eTvv HMe%b\!Xk/ [sYm8yB,^lpZV6.n~ ɧawv mR{7ӻsmߩ^p !2Dj35:7(Ǎ_9Xș3@) .2T6⋵_6gO,x!S צ[% a g h7ix I&w 4#ȀTL.6c\]$ s $Xp:JjxNռ ]C-m;Q"X,پz!vy6DtI<*q%֗R_$$-"RO#}wN@+r[R8.L t?i\^+ϰ>Э6O Ĝա0gN1(U\My|}$~1y95X*_gçGnNM==Cuܖ6:.E![/W'MnUdjqDpδ(9/t1j5vIAdOl跂쾽