SQLite format 3@ . BBh77otableisabelle_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  9 ?ip.S !17Wb\Rnqɏ%^RaTԝ-r㜁jf):a-3I- *%:+Ͷo {j|%6tO.ht1\MV y|uL 9 Locally-Nameless-Sigma~&ULŹ7=at*U,+i֌O%|W5Ցs1Iװ{Q:}[~ nP3 aT8-&hH{ه^\s4BJA75iuNӴ {sNZ1 ly"jJ_,R}ՅM5(t<ć)h H,W\UAGA B#quM ~w&0)Na7Hb QC].~oߌFd%"uG?IoZo3ESdu|p-^e_j6]H R|♮c \IWLܬKɪlPeAp bqVIỢՌ{J|̧.Jt76-sdJOgZUBtYu|7<ˍ5coa դ!<+Hs6@M_\ @=+7xECOngYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXGjCzF]l5Q+ {DnH 3OwP~Zj2?ji+t^wAšܲv onq~Uݼ&)ᨉgYHgf;H#I#뮀p_yH{}UdO Xżq(h~ygYZ7zXZִF! <]ŗXi%90ø]uex]rPoHWL[Uu&gfiq6@FkM' #Lxa[}|yoꩭgqYfG5ޏ/E!;<2 /5yo:oI7A˂pV &]7>LBPj)&YAE'%2-U2Q dsqGc^؇\r昷';ϊg4RX4@O^ 0'aM2c`ʹ.!IEtPּRAt\xF*| \h}/3k{qq{ۀ}3XCse-1*0 J f;/ɆŨE w8D1.qҬ f=6hYV*@Z'9uɩ/M)ϢQ%m q."TNtcrjգ@_&b4z£{u`"8aAPBm((}ͳ +`l.Zǰ+qeZ t{r&Zab2t @A+w{*L)9*(񒐠׾w14Y=vѯ8ʇ )',7Μi *ٴ e&Co~\ <'3*vjQ'Ӫ]RcrAKD;d9+jѠ.v8^;.V|&Thǁ&nxmW[Z`؉9:h0im&f\\z1wsoz:e}BOK͑&")s=)rp: WWQo_FQoڏb4C.ۢ)Xk{3ѪtB&׹s;g8 NUb {RM )Pxz]6ՉZ¶D4S!lKr1AX+23L~b%t{B̿i 2WO_O&X+p5)5y m0GD&mCgA !x{ fZQW! `ŬGDK$O9,2AgJwԣ{y#oqp Rz4UPOdvZyFv=tTxo 7Iy3zCv S{RԂA[dL9"]L>C <u 8}ԟ];S \JH ^e67{m/Cv`V~w%]))DK`UŧoW Xd;R<'ŹxͩZH5q.1UUBuXwc o]pD_r~!v03s0<>XNb+nifH 46XUoaOpT$'T@ ÁMn0|~D48-WAa .#rLQ'GR1[k SlbUw _"XA~ax!Ft61TZ7Lpb}z#.8hhQ]N o]ۣ6[}bX{"Kąw6EN/Ad5.uLK; M|?g=Vr`'Lnkx5!?XS "΍7honRCx}\Cy"/Ö웬FpC%b=*z,1ZSZ#JK,NmNCTCJx5 U>Tׇw% &&gnxؙmvAɹ-Hhw.麩Ct_Hy)ZĔzk4-6cGGJly\l^ sey"'G ȁ<˰h{rx/3FV]>S; eGX&<&p4'bgJՏA ݽ%