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 CC" T$ O HOLCF-ex:threads=2elapsed=18.089cpu=34.772gc=1.404factor=1.927zXZִF! a]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S YF&8p0 _+vt YPcSt2$]br;[ڋ6BpH/͚m>EDŽ0?ݍ>41vL0{"֌йP>bvzSTG3YNQ{U hLܼ r@eueq[g,m2< =$;sFqıDgrX.srhizјdz   HOLCF-exQql?ʬO\ov Dzg% ]T]yaZ3DkQMóѓSmU3=q;t‡,r'稬G2;LPMTmë8 h*3)NaXNj|rr-Ĥ?lN|6]>67%SbX=ϽLO`bNJaBPb].؟ZcX\_!,sA1@#ݧ*/j %qnT2#T1j㕲uOpɘ>Κy=-׍˶{VٝuO.H#vJA]h"C=6:33$k8!U#,3>`\b"t=X͘9-+*DsE wkUv#cv6Rg*JVF?<:~Y=>4{R^Phni۵8|ߔՉ@Jƒ Ade%w'^<0Bxj &;pB-MVd-NnJ[GطS˕YiY8\kK@^hYM!_-2gW_'9dͺw.P$^qQ{BA;dvp6Ts WeR+9C*e?HROu'b }Z@a/AaEڏ\5p< i챿{T&?6,?NҌÆGط3x1?45=AXh嫜ow 8xO˙hѨx\BDvSX_/W!k+V88aڒxU$g5猐l! l?XnwF-M{RBky?MZH@ϑM8H~ܔu%;Ʀ+ٽoPmM>>t uƁWiWQTO]~'d|,u*fVOR5H ֑wH_˺Jy04{Y&"yAx$v5>-ᬓoJP&J_*wV[@$H~!e֖tw{N+0AW:7Zxq}J h[т__ƏFk[_ⴑ mQG7;?Z4(#}lxrL*)/pTȟ,)ZCfu3) Oj_]0fU;-|BSD Lr@fx͖JE>{­Ý\6\7Et'v6ˠ˽D$w'Nҗ[W%3/˖i\<}ȴͶRӼE9 NyR .;%I*]Ȃq$X4}\k0T0w(PH [p٪8aEs௢R9@]3uJV`͖K|(C(^dz.e Ʊ¡/?iǫ"\UXTށOړ2ʨ_| Q֥FN0rfRilW :'m*/ tS dHA@l:]ݿ': z4$7֑2/rr;!- 5ZiZݷ *^B*&#D4*U8dT:_;rp*)#+]0@Ƽ^5] pcž/qBt[I Q =3KIxB<ĉg{ y4!YݦbNtF9UQƓ@/4fhGhy<h"<ʩ1<9[lڨ0U?e]W(6Dd(!`ցK~f,;ƻ =Yc}L2mAcJYkEHZ c[\4 fEl9*q9nx\匒k62u&-ʆ9|j`"; o(Prsy⟁jqs //vbMV?R9RP4h$&&8Y$2`7U!_i^6*#Մzk,Ҡ `x{qjjU`KĉfN%ht€\ыoUz狟M0ؕ7>2#۫:ݳ (12gYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 6bdc50fd990cb128cf7adb75599e666248f91b21 80dcfca725ace97cead5e39d08245c26e7ed5a75 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 c110105a951c4b5024941ec2a936350c947ebaca ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bf