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 \- $ E/ ZF-Constructible:threads=2elapsed=18.882cpu=35.888gc=7.040factor=1.907zXZִF! N]ŗXf1-W5"~ H:F_csL/ڞ"K5J0e̯ɟΤRD?/G86!>fJ Mj=I|J~a5}Wh;3L x)v7u`6 Nޜ1&CĹFRh@>;|-\|)[خq|Շlmu)U+siMxD-nRQ]Bp>t<gKp(E \{61Z4>Ԫ-OaOH} LJwyђ䪐E=e`, .zp5Q^ #V~B VdLVuт`ݛ3G@D>[;J5m4AuYqd f0 >fWSZN'A >/>οK G_'~T0)Jti)p 9聾 :o:sô-?q9Q8V~Pn0VE0298!zk>[I"/ )ܫ2Ɲl,9P|9ЌQ)x+?D]ȷPʪ - ZF-ConstructibleW)mOO7J 2qߘJu-UZHNi?|X.9} uw]ŕbpγvV.Tr_2JOpy6 X%.chBYpyRGeSPp`Js'.N&kٰ(gm62_3;^MsdBxYXC> n/*й4Fں-9HԺ@8X7Zu"rž\7giS%Epg$B i ^ E2O]a'sQU~a1n2N" Ax_ !fs/~>|l7?TuXTE4n.L2pQ=7s*"swz $CiN#>u¿s#m9c42u\eϛ@ I۱fE6`q#UĴ ۪,]?nsRJ:K^,F6Q/`ȇ%7eNzsZVۘa`ML Iۓ! B1`&ؘWk$N=E2@)g>taĖ 6JKr8X6q&U7%w+4خ.w/zk[;œEmUq1/L1Po{S4.g"oFwuoe^w=ŎH!˻%"( 'gqvr9' 7ԃii. Zl:m5)Z+ K\Ҍ&@60'zM7X^;hy$y`iWZ[-2T°KS˔Iòfz^5Lh|K~P?xۖ[Ðx 21lVnۯEض/0Nb{HXJyQ[QdStF"ϲ_w!75}}ᙳ{ ˻b1 . GMmy{b=l{8VYOxEܕL؉%ހ|tcW^sHn.I7r2Q/Ll˔P|QLCؔ1ʕ :T Q k$Vtx{D2;U1 KEus%{F6pƑaM_B+ћR0%*8 l VTO<z#;kkGfs~U| W7CJ$뮸ǣDę̈́n/0a{ݤà}ܼ،מ.{o )ӊL8X2?+*ېۓWdn ͗%yl_DħZur'buf?:E i$Jk[-Uq'V>^R%r^*d bJ}zU>ZlZkp̲jD0)@nұzNG-(E7 qP[[TұA3["ӕnÇWht AWM<L^d)+\.qHwWיPvw.z_ީϤXe!fs $&x(~:D.Y3"JևB0B=1ƑK.%`(h@{g=zߧU[x6b׾OǏ?=c.Ka53L:) *,o2StW&PP@,N~WyAFN̈Y%GqClDŽ{S PN>@DaZ63J c ĚdRy|%<%:`{AD2 $VXT$\bF@w=Ť.9QN'龜/ؕ-:w~gMOUDQI ,cDs4vsU6 /]:޺}C%gvP ({D:?S cMntcL5-VDq;dz1g`ʇ':hmCDHXɢ/]Fe\珁h)Xzq=C\h[{@ S`!y6b/[nc!K_D$gequ`!s'6rV\lj@G2q̓b22S^XL+ pv ^Jߗr5~LkǗZMlY!ѕq5WٻSX.̳.A۽qCόI˻j䃨=:869i4Ox9_v}va ͔FU`'LH dQcaV6 p9}S] 2hF; W hkۂ9|dtN~^7|0!A߼.Rle9M&43b^Qd}OP Wĸ3{vVNJZFV?}kw ⮺{Ig ~q~6h('6C)CvYi#̆h6^0YJxߤ(ϡA($ i=\'| +Gߛ^ijYgEmk훆}:ի-7$&C)6ҥYBEkyH< F ^{58t`w]o#D]FqGB7iH䍩0@'WS0`2|g`G&۾׮&fsZѶE)*Q ORIeK[. k$~NO PT.DĻ? Vk[⿰}{TxvLY)AGΒL@qE,y힨^*ֲKNǞ:5#;dۡ9Fi ,5kcBьDX#xnONpwx_AmG5ف&%3M!jsfO2&J4s 88("+vYIZY#r£(S;&:OsũQ|p1^0Vt|{=E*#|Dо}=B0k*UfɇHlP%6Yw AKR:<8ںD9$X䆘GJw-j{I&/gH>u}Ϭ;KODoa$R3SCBp1Zj;`;.8s"u%{&$30h׃]NiD;]@/5(<|< 5^ __@2YѕG#aE#&W5=2"m)!_][gYZ7zXZִF! ^Z]ŗXi%BaVM`#cʼ r\IuؿG6MoTo+XXmSe( S#^Eh FPkV` Ym15 S,^B?N %l ?9T4VL}!2jcy"CO 23cHW(\}o`=8 OĪ@AYS~88-)bp}zYx،~KT:b);x_]uP \`ܓ)#_B&(ؚ3ʆV }{oMЮJ[4"6|tPwl]Yvm8me$oJpdҎ.' }GFrnAeuT UL}ݜ^o{KgmC›]| ΓCz a0DAU zFN-H[/-޼";;6} 7M]&J>=t)8&e&M .5%/,h=zLM%:ӴIN(^?[:fZnR6f̣'#ߡuf&T>u+8J78i5 ]?{#HP۱FSC!fYtƂ7a##g[^YU B}+IZ=JDs zBqW0z}lke,$/m_e|*_b~z<m8KRdlȵ%d}\Qծui;zD 9_iOFX޽rcɏE@aδ,(Jq { Y7L֊@Ŀ|?-Ԣf*{{ZBW54} stL%*{]ꚯi8 ̈jǚb^  r2PlA2%|jG62Wk(b &o0'«fi5'9  ۼR㷱gYZ062506c04d0b016171ec62de60969a5bf428fcee 089471776c150b91ebc6d44dd3efaf297c6a6354 0995744ad77570d41003c5072af631a2c816796d 2ee18eeb3889c4d71f12098f29436c494be28b84 3287a9a9c7d1f8ecf042fc0e6f120565b0f6af8b 3601966867a54a7b2b20f6142e10d4173343a6a8 4f5f01da3a65494c78edb9ba99b2f6e6a1bf576d 522a22ab876f3d71f7cd516c52a00e5d4015c8ac 6535eb45961b8b7d6ac28cf32d8c98ee864e24a3 6b47085649144be6dcec8dfd41f4db7130b04c47 9b01563c1020ee503a2fe01ac65d6b4735edd8b3 9d08c3f8c71887de59064adf6ae23ce528f8ef7a a4fca249badcd961583e181458615ba250856aa7 aafaef4c640baa12fe4a8f4601853c775086d919 ae63cc7b047c6368600a7bb6727e74baf17bbeff c1c78361cb1b5ffac6b886f6d69f44aa14171cbe d150aeb3a4fe16733b9dd5f54929f1438b064f10 d2435baefa27a94e6cad99a5de4f5e41ed6d7edd d7060a036bee5a29f486547f43f304ae9a34d55b de5ba395245424c43776913d6f575d39d72303a4 ff4be9417ec7c26523c10711364fac3a5b612f39014fdf73a0b928fde39c061b3b448884e65fa152 bed9ba24cdfd5c6d1bf1670098fdd1a4feb9a427