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 yyl dl  IOA:threads=6elapsed=7.467cpu=30.676gc=0.912factor=4.117zXZִF! C+]ŗXf1-qN50^Xݾ Vq(ˏ+) ;[1fڧKAog-h9w:,4! d&]% e)"p:X&xu#y j@GBW\r +QPwrANbACs ub mW [~ տ(#{)Y~.JSSCnGhft>uKR4Arkv/h;Yg$oA%hT%fvn$'6o;Dޛ(yaMLœڌbj/nGaBHz t3hǒ|%u 9gzq״&=Y7Y3( #|߁1D '^iۻ\D†x/X35uQ6Eq/LӒ,p;ߴEUF5#;YlvI a`ud25Mr=9S׃È>\~a1]#4gGY; H1>6 7%Ν!=%f+%49qx! KTzwX,7 K !g cL"79A}ex.˅A5)! L(;)&O0+j'~pu +e<86Κ.9)>@>.w SS%g $qLP  IOAlb:%$T0B*aFKVn$?<32L;cͭќΘj.Ѫոb],Y87$ lvig(n.Vhw٣uiEfG|Н08"WI$(ͥ|A`:ƞ #蔎 Hd+dʩ(Vkj>N#T`&%8]լDySdX"Z&;D?͙'e28۷ƻRnaJ>KF!7pvz;4q,Tc1~ʠ̻6d|d C!XWlJ>9O~ܯ2myZ1Xp+͟ƍ@$U?]u7yZwViˊSA!C4%] s.I;|RrHsčax]CeCI4:3Άڙuh"&0Z@4,9\FkpIR;+vly~IgzGB%x%>em'¯Bv"6,DZCc_"ONUY*h"%S}? niM>'3 _* Ϫ("ջӐ nj( ێZ.0Խv5ri臸]yBv6nډɷ޽.r:@B߯Uxy- :A?8˷{juW+ԣltAטrzM1pEKbh$ 41o-{IH?Ыfz[߹niEU4l|-Vʞ23 f"+<W0i,}1-[2%p /Y2a_<%z_X_: uk4ʜ`d,4u{ >/Wӹ|mh;-CE%bܘ=1hpF=!F.( )~Ӗ>k{&1~Ll<+ya5N9KՈٍ'Jkhmx`I}Vk2l@mw+J("&3$Lr4 zV I\9, SGڍ!#Xt`\C^x%kyc'1YPFy2&\.nx'dAZr!fʡRi0jP_83\.WoJ~~x.ChL߭HNc' [LmImqTkl T6? ev3/Hn1쁐պDXD(r ]] j/@A;޵wؤʠ:28F#HԤ,;1>kWmLI? 6ɲŗFD~- o,>3zkc,!R#zݴBm2L 鞔Y*+[fl@lEJƫ;Q(]QBruEo2PX}^U妺eC.yT娫G.1 ,vH3ps|""4x>{&)VgZvSq #灋uC#P Q[MN"6I[`侯CB){){5*t ^y|Itsqm r"̌ +r̕ȏ|5.D!v 4g`@IB}\VqPDYY]^M47Q;5%t nHt {q6N=kV;m[1Pm'9r̢Jh(H=d*东Lr{RlݴW&>jg8z'Tq;2zɩ5<ՁORx!\=ORP:V.+]wy#ea-o0_R7%{R4p7G৳ERj07*Utyeoݛy gڊc;ԻcЍF_&[0js2լd^CPf@??*]!Kr¸#‹y-ӳbunvdM n ,utTUZ»z燫͍Z +=tuVԛ ff0rZ7"u-'!K`no=>sTYS jnE *C+c֠ Xs<)!{I(,.o1 j 3a "QV z#!ݫ;8[;E82uX2c]b]uaUycM-<{j9cLSЭJ%yP]M5b"Jܸ3y%Ux<^a.[.~]=)B}i56 Zw~MWVtN'>o#ծ)a־1OG'떦Rfwt`>YKcdDݧa(Ƥ#eS%ٯ(4ƋZt5p@Nz )˚~eaåhI#?ǩH"z-u.Z|9B X;Hj<݃9lVý [|Z Vq_86_dle7aqQ%R8TO/rPTC0UM5I}]4 22ޱ;YI+V5