SQLite format 3@ .  YYQ77Atableisabelle_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, "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  l l 9$d ww Koenigsberg_Friendship:threads=2elapsed=62.162cpu=109.420gc=3.756factor=1.767zXZִF! -<]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f,=cixe@x9LOCYH ?e 5 rr9ɺ9eĕb'lNhX9ұз_ e_T&R95!=YDO{u-6), A6bkGd_:ٛ]{UlJ9|vD%'Kac0 GG_^(_5lPrk)푒23HrZjfJ,CAyBٿtRͿRH,֩ΣWlb?} IA+e}S^YĻS*էnVVl;^)|;zBh{䚡6,o8/3zЂ$۶:VzQ?.j#л^W`;q]$6[[^̺ЭpHPKTjI&Mr;G #Z#iw`֖OG-Q>V6e0 yڨ+mYؽ#x9xάBj2d::4`WGu:W(TPqzٖa?d|GaVd" RzJ uOY?(cW8t Ժ ,o6簶316ldm> ϲAPFW؈le7ZB'fv2N5eIdq'oRT%3좘S mjl+>ZS进̯ `7~4!E&? ^9 O;6hev^.8rS57ո8~DDkZs[?gYZ7zXZִF! .I]ŗXi%wqɷG|t EJ Y&ec'a;HT)܆c,0k K#፲1㋋qQXtjpщa\PVYX;  9 Koenigsberg_Friendship.782c.Оq o |C3 vG@D?$̉զ6>#z@a$Ʒ}|u]+ascZzE7u4߃pi,U"% ??߻S9L9nܮ eݺ$m{.-ĔLYZϽZ],\m:DԟMTGҊXVf)Y0RߍL p{bDM;م⵰])ld|ȐCQ!=^-*bZ(;:kxWeZԙH]d+m&k]Mv<dz){I21mb*G?9Qza չAOPqs ;H\F**/N9Xa0Ά@'wQF+˖;PpIQ|d-T,c~B邻)v{eB<]` ڟBDѰvV`6!})wF X<H0Scl=1{pDZ7D&hJ,'`Z#cc)#qΠ3UW1ݸ/2N~|8C)ٖߖ2Osބe!w&v ܆xEo ,cgf5VJ&gu6j{4u6XJX,\T 0cw?c0 MۘK0;L*INYT]^8*Uvh;h3vaZ_pu$E?) u8 !? Lp̍Bmc:~b5[EҶ1MvFv*];( &`  1}Z\%> ,o~/RAfQ4 MNc%9q-NRTKGxyLS,s@;@U6NpBjM>,Vڱ֥miqYr|fN `3P3֮ͬ >z8-d:\L7.YzAlShD\; ͢Gu۾J^h vuЇ$G˚J.OMAuzf0_brԍI+ѓw|3 pH^{ _Z zja AҬ^O $1^dH'\5r"%գFVTCĊ1MH1 p[XO% v 'IR:n}!?5eG@IKCU /P,+F"X䁿0d7u~v|r8lYG}`ڣD>57Ez,f5h,]>A8V@8PF NScm?Okaaf|_C&A/d|*kG"< f }gjڟ8Ąv8ŪFv; $y`K%y0%<ݓ$#u#q9#Y4~YC n cilʯcg @x:>,KMz1xI_:=n}K":jol9aDD†`N}NߤVm8OrěqH[nMq|B|\P3ǭuy\FvX4% m'`.'#`L͔lYԮ,_6Pq]hNQِUZg`Ae[JGcp5qԊ!@p'/+5YoGv⠜Ce۴dlxiԣW{Ad4(a|67rNq4`GXͅ {QN'cfZhA n sjt62eY$$Hb(4$c8fPM Js9hdSCx%#=O,& P)v-0DeS݈ewUsx1cKںq? NXAL;