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 zzo 4 %v_cVpyKѬ _ Bpsʬjv_&ԲpTdݴDH0y,=jzLY@Y [ arJ xd \GpT,Jj0>vvJrՊ9F&$ O }Ч~I- 7KU_CdZAdFz  TLA^CN2I%w*w8H~SB  ag$D ÔYuT.ѻmkl0Pp7k/|^`hّZ4&O̒ilBgDA!B@/6xսze>ig9'b2</"Uq߳[W}wRBcJ!ppGE57"QR-z%9":"u6LR[Aoq|WyX LUby/ ;4"/hk]~woBj8cTh+Z.S~t,:.ǶzX)cJnh~ǃI$ë斖3 ~=m3Ǭ ~D]/=LGk4%-kf%7l$ggG߹fVHTTܦN ]x"qƱ0Q4U81܈m}!'*&Lj]Р,`AG *FUͨ`Yۍ*H+Ӡ)0۝\Ĺq—L6YD%8lW0 8Hu6 b)âF.'/C1꾶6:}ZV@4R$%#P$" +6դPliCOI Xځז.&v$fwz(LʟU}ƂI0 O$?{tOMu9逡DP|18T 9GMSxɤ arC!*S%i ;j>STfj>|&=q`06h]#ilMH<1}j_kCmpEr įzq.5>ػXGۢȡz:2hk-weD$ܻq9AVS/z._G)7CnGA 6%8Qa)#j+h$Q+ {tTDGִ(`b3̨4Bvk,e5t>o%^hI^70G٢36JUvV}[K ?L*NxaBd=NUS-͠93XU 61U] )ZU"NJE~;4.VdW3aD:n'ǚl֝> J1{?_?%ǽG{ ˬ_9][Z1tS,0򍹲~ꄿ%͝EproY:< r} AxBCR6C}MCCK+gL'VM{]T6I=H[1`Xio15jq=_ _i ҝEƑּ楕 N)֠A^$"CDd{áhS}Vt1m(sR`'')H!u]j k0=FwF>4P?Y5̽MNopg2K:%[pL,y_&@"o-Uܥ:,*艅\x!eᯏz)ߵ+"N]Z?{̈́^/[&dTBsqgub sU 'u'jmIZ$mˋgymC'4+Z,B0(b;S9?^;%~ 8 <'~!׷Le  RSoE1TU6[NF]gYZ7zXZִF! b]ŗXi%B׆4Ŗ<eg=¤);yJQnu L*o`idV[ʼgZ^~S<1}@dW_'AtFEWW 9/G]iiT䋈Hr=r,!a; B>\aUU @ y 6~,Uy^aQ “E7uQ۹VS7~S ÃMOj?i3OJ5W d13$?֔ٱ8}iH}ʐFC6~#&рΠv| xMZpsjMr+ÊSɒ-|߻EW#얨w0VxuUruݿջL"gL;xߦ##ί]ҽz~]Tܒ{ZlxZ+$5xCnF 0!mݟV lJ㬳jssa_MPUuqV֊O_j^yŤ/Stħg]~ e :k"A)_]#~<H1<&x ^}q3N /&"n+yꈾMiЛ/*>;oÁܧ%$ ҄.ͩ:(o[Эb·2L8, %u+Zs 1Ӝ<2;sIxE8^M1&W,1k&D)+[˽MAm {aց{.c07C&P/CO qR ݵ} +{?i (KI{gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad dd761cebafa237c9ca84d2d617f48eb117351828d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295