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  4 4=%$4D ] Gauss_Jordan:threads=2elapsed=110.606cpu=201.860gc=7.924factor=1.837zXZִF! W ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y98@Fo#iLb2#E ?$#)-QЇI (.p^K#Ȁiqt 6PoPu:񽕫]LxShU0Z!!qsD yK]U :P5E^5DoᎮaqX7R9OI {Y| HhS,49v-M鯢!T!xG2YG(_.bB@^y>`pDwr6JX˺y$YQ_7aQ[ū'Nf6Xpy ("j[DkԬwJRWh؃BX$Ö 7Ni9"CFn{>(/hl *Pʥ_3ADܫuH[=GBQ%3OxL3Lp!$>e]􉹷Wpʿ_q۴ߦIMqPRm6P6nkfY[(|as7x$b =ìDE!~zyEk0q24./jpߍ+h Vp*-˟BgjppfkW;_L֎_oQ[8x`*ģFS)Ch +5Oz[ v\sF"!h/&8B;@U*<[G!%7pgM,^aeBX4os8 &ӫfdfoA K\Y 0BmCn hp7]G]U TvO+H@MӜo 3L! |_vgC 5Y&(;Rg|WYH|g'lx+lqCfy?kHH#|I+2Q.(oJKT bl6GsW Q ŭ+5|Kh2V*y˒ ` :iU$ % Gauss_Jordanǵݗ !f:nVpN;TCF"i簘bpr.Ysu#tN M\FgwPy%58z&`r.'x7YšiڿC B5LcY ,۶iQdD QѲ|m6Ewb %M>.e?z(m#GOH)@&p▅ G+^w K)|Ri#GH!5)%F,(H T0[6ktSJh,yh;/EuⷍG0k- +2qQyrz'tE_,+-oյͶǴQ[N-ԉz:B/t Bcm.7Nq-K#yw <V,xX;rE'Lc4f3ѐ@[̌L(5[@d?9nLȮpv}[qDڿ0Ci(S H>XPn $p[rƟ˺ tg!ZuqC/JKhlL7byg&m^$ Ss#߯*S-O7חdD9,bvrgE='^ siimA%n۩ B %\XYQ(D4dydEQet7Jhk]G!,>[(!p_o8>EbRvOD+ȰLa~=|- {%w5F>c4ܳ+ Sahu(W4Km߹!a*۩P^_04*9S., n22`1q{pNa5R]GRrr_{:'Ye3bttX1A]xq'&^u- ;MK#)Z 3ZUdUK{?ǻ0x9$z(H ;zQbc)((a? |\I{*3?H!/\_NXƨNѾ4pe\FѼID{m{ȍ߂=vCkx'ƭWQqCdb;TPKgc;hNP>쥿Qoӕ"K Ŕ,S{=-j&?e{Qx p ӫEE]!M#,[IY@j%pq#;{*mS0tƜdVD<-Jb^ )m:>+T?lfIrgw+~x6d4}V0|ASWv)fn5bMڿrdgd-~CfޤK";"ұ&hF)K>5$#.O3PDUzu\j!GKjj9~1h`VJFm Ҙ"n=fq]ѐˣ{Z&P0|Sgxs'\XRrπ+ݥ]zÇm\ό/Hm _*.M`'힨J:^dlDJgb`-A%cYn}8;,&ޛ:<̔D 弝+_Opܣg} {H 104 m}f S,CU"6^,O~Tx3ˇ$ fZ7*vD;1iI]/0jf Y/l!665dVcE<<9wڮ=[ow3͌SeUM\k{:gaxczh M7CB)摼9'!RuG^b+Hy)$7ozp|u;C~CsrWqrmk/[mTidi.A$bWUu-98-ͮ^Wm/#Aޣ`Ǩb<( % lECRb/'g9ס-U^;.j&/{ۥO%;)tلd0 EcG'z{W{5QE DsӗA8 KzQ"&?~E~9dKZmPGZc9SDi$Z|d :STi]pS7k_v\'X Ck\$~|~9<0U sB h7):Lt\?,>i`J{y}T/IU wS;\dZST?4jv:ojvk.TʙM(b,Kz:!rqzYr)Ԃ'ꎛD:Z\|XB#:'MNa1j$^7l>!pfa@T )a֏-rs QN4rv͖vQ9~. [ڜTd/L.jdk"ܒv봕F2)8;SI?r'^gצ(h')].1ؘ h#Ab3V r$ w^CPݷԽ'wQ!/K3fW&#&q# d'GBCco~Pt}bbDq5Q堗|41bIG:M]$B~55}cNc\%?, ֙*]ȉ q'GJ+mhSRG7-!隟n*to:Ox4>X f2X3*GPM`WG7H+7o14 cNi/Y HVޠ'^Q~$3XjOZ#?8 zUY?LJM:5ƫRIja^3ҠoQx,`FX͡ nT`j @ hh]Vjp34U]~;Ej_+T (xq+Pע@K>mկf~>h1CҾҘZ#ʯyN\ASƾhy{ft|3tM&>y+w %"?MRB Y*xn82j O"IPlu[on*O$lO([|WH Em(Ѯy'60-˥lv^(p6-GnLB5(DpPi _|d9ٛ"L9Z"Wvpǽ9 rCڠy/2_"wUZ(b%{EbvyjUIZO':^IBLVڜՆK'@/~Tśա7݊iW_JI "LB/{f!J @yd#*>#"P 4D6c$3U&b3 x؀^&i) rnV_0 ʺs+w0^N"<K_oSWQmh2qsSuu2@ )`+"ٳ#d7Do$OD/g|Hޭ$P> !YcOR&'\YaF^9|lbeިzϋΙ_$@+L盝߱."Iяk za X)~Yg}N}{acT:3k¢{QiOkrw| j˓N8ڈ b _җWiynka 'X#Vu2@O U 봸}eW_F)#;K6 6GnKŠ h>Ʋg;+>)dp̐ {ӱn֔x7i9HŮ>R[?}0K,3O;RЭퟐAI$OJf-Faip #Q3p/3c|'ЪKf+Rf;IϖZTWhO0RZޮyV/woL$' 11/3>1-IGWIN i+>+c'[PBc-\vJaUu2BOp.I '"kud!( ɍI0Sk؋̀MjaiӦΆjWKM90tiLa#nGw.wzۊTBSx 'tr831&#f\<]3hԁ_{KO* #pfRV^UmNPFiٓJxt}uq &7PLCqӮ UIl/廭 TȣH8G-aE&I 30ק j+neٞ ]8i1.0'(jvO8#USq'`YY0pL˴:`W XqIG2' \uҊQ(yRh?\[+s[b1>e֫$tc$+cQS/ZnꌗqN?hAςK0wڊ:z ۽Z┡^3n{+_q\29?_٢ >܉X_^``:픎-h4Ed@\YoN&Ux`"qeFqE֋dg|9B{,n^n X郄ZW7I4Vu K" 3U/zG.qQ,ySIA~*~+G|N(hR]Q'o/F<ѧ=y7?n{:nDf~"_o<}L>J"W4 }bf-T}3pOEGUrz1 ?BOЈa+C] BG2;,aw\tAֱ]RR\ Hu)wtw~ li-@7''8.tOO]q(DљN-N 'cGlTwm^S@GxBxKjjef2 ϛ+oaf hB){_SI>Gm:r]㙝!<070J4&OisDcc}\/DkɈ.V*aPSX^ nk˙ 8o";"E bU݁:3(ԅ~