SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ' l 5Es˿zG*_>ؐΘ,Z/igD㓯\ t v1>44,O6y,'%2OWvG]ZObuu6x(=A̫5z> Is-p47yzO'kQaT$ -և> XjYNJ e8L"Kq]IqɔSSŪk* ۰UyԹwlɗmo^9<?H{:OE!z/+&bH`w?I]~}J'%r߻u@PTЏiuьOkwCk HnQG#gsiB$8)w:qΔYY! },MWhPj\6;P20")-5 ʐ(x{Lݝ;_ܡHe2O9]]%T.Ut 6m(v,Rޚ!<2F8]*+*|'Rs |ƳIP?HnV@#(H@ɀ&({)uBJd'Qfͫ=~_+E,q(Q;WP`$: ]l@?_~gcNkMNFOrE|I W(l}mHV"=*(E [`(?"uXmPqrX[.sظ"dj*4S${[<9SoIeyQ}Pٳ ""xs+# |kC4C>Qk'T^PUt͕%WGZ|x i^Wi tj 6a즕bMǯJS_qtr IF֠hdxCȻ0U:`/5$B"޼ gϢNS8<;qWƱÃ|>%A)#$sob_-IϿr?ol X:,8ʻ.ArJ\Rtu_XR}r\bsc99 lw>]7y?PqیmaA6UBMHv?mhtc[xlƽT&@75*Nt̴rmId_1RxOc?-\&ċ >8nB̅N4ԕ^&KЦ~\;^ɝH]_H*rg+SS)I^-WZr7Ka7Oos ݣpГY#o2R*$؊;'aw0H;#u*' qhmt9(͡xG5,gPIj^JX`?]8$Usi/㳆뚊8JSqH$y-S#ʂXsϝS>r*reVٲr erUh>t}]tNC 3Qr \ ?V;%!5&SaozCg̀3ӻ3ypnCdֻ%8Z ס؜*H1}UCGu;N^"藃BGip<^^l/ټAMyq_zܦ̶a;n-Fb-X#b:@"Eb;ub`\?;#ͲP9 pU>`-c_3:ъHP&@azֶ)wX9Iq'Qt7LEeL5O#p4+qӧ| (D0#.ڬC^iZcd<Ӱ3ya dEJ-H0O$ ]K1=j4m-z~|f#AŠsoC2<ѿGm;2MƌyDA hf)/lƜJcKn;x틒sO $(=Iߨcf'Me&/jM J@/sS?]Ń:+R(oL2O1F0觮C`fJ+Re+O_nNu?=l,AD֢ mW)p}4&b p*^/95°WN푲fwv(abhU64hLc_̠kgf`˾)J` eOaVñgYZ7zXZִF! E]]ŗXi%H x /{sciQpPe{y!}ܤ= !U~>U7Cǃwkcbe;R #}APM3 p,t*D1Y$ɮ֮ knSA|1|y;`]lN psK7=2QBlo]6>ZcH[$]*Yƴexi v[ԳzgLteh: a G{g!kMxX-7"B+}n qvH'ֈ=K,1\ots":G{!7gКM|25yb$Qھ`ó £{9? \)l&ؖDγ;=26UՓrx}1k/x\_u 9Ynv4t·/:ʵ=^7 p?+;(:-Q탭 n[{4؅.%"sd-N<_px ?e(`|mXX6Z)$*^(Z:ae#MiӌUA]z|⢪2j6ջT`W i?Tד};⹴fN48}JqB0eP]mY20ڑO)\4;EDŽPz!Ǻ&aҐ0 X5L8q,`暙1hJ+az-񽌏N-\!6ZZ)m7̧LPgcwJB5^|"83} Br^TF3#gR6:RH U {mRhYbJM'z2\Z8Z V+5/Wy91+bdqWv+@Vy fjUeyQtD6J { .VӣLU [M?+u"¤6'6M1zz`1Q'p[ h&HG+!]ooYqb$v=IIqj6OM2xE[W2!:9d0;-/m wVL Iۖ1Vs-AYT|eRuñ7,lKΣr#S m^ϷaR+>rI gZKUN.> N0/F5d-bbhU{+T6a]\[G@FdDͦ,J,'@P\g G,ֿFGjH1*<%*W=[OkSp`{)Pf+I&:?\ьƝv]GfRCtR>5cX|ܥWrn0%A|bΛoBF؍ɤgeLSA