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 ^5< '% Collections_Examples:threads=2elapsed=99.878cpu=187.844gc=7.232factor=1.887zXZִF! W|G]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM:h%\.ln 0c0-KC2I@+p,WOU QVǓB|gݣ)[Ouĉw(r=3oIV`*1Giw@p;ج1QWZ` 5 Collections_Examples~ꮁ@R;}tϓF-3paUt4<6"҈ò"Vr@sLԸywWYezɁv;;nD2ScMȾ'pos8)jGdNFڇ9-)̠3%]k 6\F[ݜ} oQ 7_k2e2SZ#P3rBY3A0R3I3w[/Z臭fA5aE鳋R=)OĎQ}JEi:U7epj`@İJЃ hGdָI9e[Md?<L£*,T RmGW0y] ]GKC#`@"MUYea|5.D:ݮ`S7-SټtVN J(7Ma1D3W,4>w =-і7dC\|[P:@<5"+t󷌾"KU]K~̺PZNe;@fVXD^F0tf4@ yaԖL1qvu I]0[g9NZbM)9ɼ 'Xn'+\Sge.bQ&?uo9-O 0dm?RcuTpyY5v_ KkûCXؐm!^c%8s[\ 3R]pwv%MSmg9ڰ@.ۮ $v`/h` '+L(&շE5WW2(%6OCw$I>$GtB\R$ʊ̿*?Bڏmd.>k|NOt_ñ|"|ׁg(RMSDDD*殳8,%etRgA9>FA3^S%_R#yB XO!~ _!ӥ!b-Wpy FfJJS2G8&,M`:|Ch&R\Rr&#E%E'%zƁ.b4Ȱ=u~l 52nEX%Ν1zo蘹w{CgH?2R̥-(P->, 3ÿC̤}`XO\qp|-liMFV$TbUxfx0nõڳ*}gZ]>څ*ibsV3Au&g0y#$=L˴*A^g#/u ۠ÊYH0y q}^ u8o#o0E ZH"7.RKKk8(uh'*.}"-^I*f_K ( X̐8s<_4o={r%Y‚8׃oP ȯ:I9hFFBQY|ϰ&D<<,6L*HDRgYZ7zXZִF! ]ŗXi%6uR<1SdC @LLP'L  >lkR{zk4k ?\FH>uj:r\v  @=&7v''PT~l|rrR|[/'8;jKt\Qb3E5h\RZS!PV(N. m 9G{fYQ ]z0rdžA_D Q|>*3,G*ܖsVCD~-RѸ /ƉajN}B&-eIׁL.d ³tZiQO 4! W:UHGi<߷I04Mʰ:ow/}OMiOO!3v&/pc KyKٛI~MMZ7b1 A~,{&lL9Å;[3GnjiHmpex*^q(>]itA2Jg=LVsGR8.`d-a'ُ˒w `08ᇖLrC, "nm{q?"~U:HWc3+tWRdk5.<ďhPDM*:2?)M7Ot.~']3tL ~F{ B5\a>+qQcL㸡AD#q?D.%L`ރ{t23׋3#1 Uiԏ"G!|= 4ц32~}32G;Zk[u HB7n`gAY5á~m9Y+ݼe;U,}) ƶF0Nf-iى24 8阣RWa9uȍҲzT<6rd }_g^COy W!r SEOB (ؾ NZʹnLpwu r i307!sL6᷵cB'¬wPsɉ~嵪2n&8&>kerÌk=unt{CȦ5Vrޡ6G;+4jH/libtvxk 2 M|l'l\䷐fSwlS")[,*AnhbMEFDa"9m6W\јxq0سG?;Ս9}+'o[4Wki;6hGhg{vpXdPT GGF߬,LSN7l%81>Q鈁N~pn㵂TWkLn /wЄl~(7'+("<"Z6@g+E&zw}SB&: OMU4 ?^2/SwAb bʏۈ`Hb)zܖ5ѡl^r;}87m:Vb) q܈'vs$g4O֝s `\5/[<ܰRq$׭qՂ$ A1iѰofOqWveS9[?O" Eӈ K RՅnNfo}#9#O3J78ܢXckTl1@1( u^Ʌ6[8}p\ .+!vg=r7O-7@nz{:󉯽hb޽J g~XID_!Nq[<70V$,{)W8d_\*^R&^qWǎl%tk%zAQNUn c IuOʹoǻ^A OMYY^Q5S!Q6vJW;:dg9f6@o^\FmN0, s!.W,O\c0I;:1ZIV$Cjyo@wΚRVkJ(:w,Y`\oQࣃ81]t-ڝJę(J㤱 'Tyߘxmte\kυ[_NI2|f8emJl#fUe, 12~(Bd&L lM}ᒩpy"'_O"@~+|>GpˢtgD7wH5oO#vrJ|~|K{+^uҒQs7}UG[#Eb/\3ּ=kTVv_VȲt\bxo7cl3&DN<}L$Y3\ G sy4QO2YWE*Sc$;c ~n[ѺâT?Ӗ>Μ{VMG[Y`<qԳ>2M^{ve1.]y pUU9Zw85z[y>uyK>Eޗj>ݩKc=%?BLrV9ڿ睢mn4t]f=uNyea *%. 4T׼FVInFNUJ0Ki _5F]S(9qVMTV Vl14# "% vt]SS,"9(Uw8dN;{W#ՃcIk(49 ιũdePAA:)kbDN8L%yn.St"נAZ}"5fM TIiY2D H ) ۩K %]KwK1Śz XzěLDJXt+<|K_5ZkFo|n~|6ue<^Sv5|O*8iA<ݺtF|eּؼ9.:YHvOF{0r!v{Թ̫ݿZݶCm\ .gUŧirRէ\穂0 c-# ~?^,IO&@& SgYZ006439cf1ee7727dd0cc8b37aebd9df24c4a2e55 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 3073f5672cf56b7971f9e4fefc4dd3fe94860b50 31ad0307345b52f77bd43046bdc9bc66c32796e7 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3cd568b407435e66b10daadac60f4bedcdd7a740 4ba0cf25a00ae7c7178c57d51513bc02f0516bef 4bdd953e23b1b8b9181de72c649743f21b009c11 56b474ca18fd648c12397c61c70868de58f1bab9 6651e919038e8fe613ca3f78fe811b119d567117 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6d84907d1c5936da369dd6c77039a45723443956 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 761367206ebb93626297ad4b13e6e689c2d2e4ae 874fc7174184d3df07542ec61847ecbfcf7366eb 8bdac03177b895ab87ecdf136cb79675bd84d568 983c0107d91ae29ea08dcd6be73913fb4a0f61b2 99ce18f2c98672d404970306b322d4a7c89d2149 9de3cac554e48b28c0fc98d0c793a9ba92647d1f ad40df5861c1e58c7b1a069f493f033df034555e cb45aa29aed037350de48fd1f2887efad358c2a4 cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d8c19a9d0ef95ca165ab52826b40c7fea2dc7b2a da39a3ee5e6b4b0d3255bfef95601890afd80709 de99f67245cd832093c0b48899a742ad2a82e388 e103ad793ec58ae038c029c13af415df85473212 e484526b6ace92c89f3d604e8cd879085c1d0f0a ef7b9c22d6155bdf374c446bc7117fa56cd310ef fb7e26c989d75e3be9e5b319f48812d0eac5d123e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 76bbddc77a386aeab17d605c97f5b2549e5a7e42 14dec19a4fbebc3556e2960da585152f9fa69c2e 7b429c544cd316ad7d6e9bc5224e03397e6a58bb