SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 Y1 Dt ] HOL-Imperative_HOL:threads=6elapsed=36.868cpu=70.152gc=1.960factor=1.907zXZִF! .]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}-k2-l-va0je Yh!Z&J7wkc;B:o J͓s/ZWLQ5õ.7tN[P1:;]DZ֬H5VX.j#a, (J'uѓ,e,Yȭub㋂@jdpkt讯`MkΖL1 ;}j >rć@?AMO:-/27|JbI;&FoE"PA[ 1 HOL-Imperative_HOL  | e@>JXoʌ:0Wn !9$9G"3n͑N#|kg kDg3*LL+L*&b C!qxXP~~_X 1&1)Q/Woݓ](쇪Ž(Q>q^VUPnL@m+l=nf_>fM(9 9& V}@+D_2ȥ4Fyxfdp5~K" *C1˴t<;04D!0pJw>wDWQ5.8 h ܀ Av@:'ފD iIۺ'K$({I@VL.h+{ L&V87=y[!qsʌd.P+*[QW:7] rHN*G@}e._nIjTHkmQH 1[|R䆨ͯLB }T5l0Y,0A&Im^ݑ|ޫِE'AM&4U5I N\xmEM]F8ݻ #@k!A7ImfVU`,.,t5#u b$ )Κac?BcIlUuRcO&xG,J}=~V|+Y E1j( Yr]|sSHUXVMf$  ]I2gYZ7zXZִF! A]ŗXiɟ1nhЦx"n_8N]( eOtd=d \,d5μ%j|͂Fgj$c+s!H }VNck+Zյ$3NW0Ѡ!\{]i3ʳ.L({'^?"orC]WbRn 6˗"݁e=J{*d$ƒ3ʆaT9#C8Eذ8,:,LJ&k($Я;Ө kA%LG\l *v?3gznjݜ)[ b:/4e G gRgYZ7zXZִF! ]ŗXi%@f1vxQ?: _G3NlRp<;"2 Wq)n H +/ 9(`ؾAR%4gфrJod\/3#AHPm=*IQn !v>\8sM#-nKB/ud v\f4"̹~V4_=Yݥ.;K!kSXfii**%Žy87<0 LHdͿ5@ P+A<Q˴{>oI6p[v#ۇyYVx"`i?Svv$yH F{{7ON+İ;'z ko S@ǽ2ʱ+'LA^c߽0_P~ϘwG:mf[vPյ̈t4[C?>ˍr1 >.#;v, W;?!/&DjC~v 0(՝՗Z~gأ$̃բD݋PGO v ~X:W<*!m)vH7<4ǎ{K8]jp`T^mclb~}˸6].ӢOV+=   %׹ =޷g '4i~/Y) X슏?g/1tlC|Mߵ j_8P;hJC S!g,?aXP;>7F7&W8!d;E ܴA>8K~ vf Kć[k XDm@veAf,EwGBJdGuZ1P3=V{gcp2GAyX2SmQU4+ 20r`(m"PL1o0ҷZ:y ](%.l>GFBXBAY}BAs,}[xz.y}J B{psT03b"%sBC' H[*, a@nkgm7]?'5lPjg࣫%),z i+-aMӘ|2Gr3 ?^^ {EЇ~xh8OR 6zK&$MfLZ]6~q+Y*wm{o/><I{3bC>̻N;Xv YjR? |j˪fiRݷ\r#yS6h_KT)uu%n/dRH׸(~>Oijw*ks&I1yI Z>S5G~8²w@˨'99e/H\nT0~~cHwța`ɐO[hʪ"1ߔ`&k,1 àǃ́XϘ|ť`q&n]Z T9m !+]T^3)>lWOD/ gYZ80c37c36503a6d79c75ca347387d975bbb44595939fd57141f5956da5dc3f7b7eb06f36b9d32f6a7 945f328ae679b2c2573e1277807dc9c4099a3d18 a178155c1a0676d4dd3d5a192c4219c00b504cee