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 99$% d| c Derangements:threads=2elapsed=57.195cpu=95.992gc=4.348factor=1.687zXZִF! A i]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*mjqߪqs/1:GI:ԆTTIhd74 U3E. +>'ǜ<9ePYc[ey!u:9h}u&UZd7k'%*> :J uQOtO+qfOǔ825qpKU,V{"$/=Hy(׆(׺u(h1+ % DerangementsYJ ý(xvJz]i"$ʵ?w2qBjyΝ()xn5 @a/xQN4`[-@Xh5x$h S][+kqkXai 2n5vLt߸GKW@j] ϷxYm+uv"$tE tv~"|jڗ>`P[tQa3{bXu4bM7q;C~ҪŮ+%S7*tfjT.5XbJ뉠ˇloQ#`삈Vl4mHDR88e20J5qZo mlY\+usdN"3E?7" `xij k9EQ0kx04X~߬1} x1K | i7sZ/HS*nl{ݍ9CЫnyi,cs UPx=ӣ9hh|&? e`,ּacr9{G): |)k7uJۄd lo/=>o@&ABQY%c (`h^ oGXXui)Qf^~"ZnX $!Xjz8Zeam!9݃}?̘\}97dڳ`’ڑ=j0YTXlBmʐT$zMŚVt?DRH[Ϗ0qad,( o^/7lraKB<^֐{Cq12DJS9x!YfkzWZi}|{|DI&l3 &UR` kɮ.22?ZBwLq6؟MѸ^IB{A_ܭ4q*$zCB}aaD @=hyBpG2Qк\ Fem'3gW̫H1v&_ < |G-Ƞ47 3?f!sqkiz =7Za~3 $#v8Ppz 7)[!R$`N?lU~o*g5/H)"bɅ;$dUt4HU\´7bL$'L_g~t:?;pFv"!ݑʘՂ9O J+2~\2{-#ph/tj@ >9'W]=6RQY,Cy wvp~BJshO8P/Ux ?k:al bҩ31 ZgNÏW3sG05p6b M_$_a29H[}J_^wOD$0/!nEX55Vf~n;r|YӣL#j?FC37a8WJ; hZ27D ܈;Yc6q&8)cnDyHcmoƼFmuOEzsEFHA'*9(-k[Žܳ%:[b^K3O%bi&oӆ;az sDue?XUIsjV0=ƪg$î A"KNadSMGA*Zz g "SJ`3ٲ\NE_+&~p7 bK Do8!v0tK7,nKr'LGB=KjOm7В^`>,^3dz#/ q8Mk16Ѕ ̑@X DXW@Ʀ 565&]HaCx(XS?WNs/0cƌS͐ir[G*G MݏѾI718j,sWfme֔jU^@ʞ%v=Y ȡ[qCWM!7 WL86ل&z>l I"m"vp36Pv|O9M?/bp[:EW1k7YG?b,<';âtp fr5O4 m)DeBJn'RO.,A}S+'8`ެtdq-X$y15xMl~ςR5?G<9CZ# Jv%/W6fŰAJ@]n \Vi^\F-IDp9kyʗ+)/)cCVR*)Q1Ge)Z=F6T:-In.¸zbI=03ڥX.ydX nו:eJDzi†?P3A$]zf!B{m'C4Sm~zZ٧24' V)S;aq%'YA I޸B3 e! pA䵽`^Ηl{ ps5Vj5Gx LCMDriF\D ;Ϋ;emU[͓ݡt~YxҤaGچShAeoLJ)Ťaot'Jl肩 zҾHS|^lyu5+t{voN%/d'xyR{ʬFݠD%ys*>dufA֡QӪF~@5Wf'*(Bo/0Kw>عlr1"dVOqsUU@"53JXm $@hY F5>cĦoͱ%xIӄh!"pXUȴzT;n 8WdJ~ 0k#zef#='JMT1З NfGkiR[ԔawWW分醑~+ ,e-签Ҧ[Q혐u޵*v ~H;򪆄:9Z_up$ y41}EQ;"_ү DRW_(- @z3Cp1{&;^CMsɪa|AǏNT%Ƃˡc}i\'SkA jH=-G-mFI`AMh%@3Z=:i ZF_BMԳf/Chn`4b@ [5̮shp~M|F$ulfg6c<XF߯[ٮI2Fӭ|&4a$dn@%n8MZtsFZ>\K$L0$xcj(\/ш@(7Y w[U[8\.6pjs͖& Lk@b39ij71bV/N OJS`uuyd 2ܧՠC`E!{>D=|GQkRܑeTY.K-@댋JK6+_2fl43>HŔQyn7."{X]m>vv{|D;}SMv[\ >EsnpCj3Q',Ψ3/[f@toka*hBq|nEN-mz_4"kF{<g6 X_Ta@ c z}tH kXTZ'H>=o8|*8e}s*iElф1'^"Ϳ|1Q Eh"١G|BSʊ:$( Nd+ pܤ !4' %tp[$|i4uq[ >4Ed;ye2RjL{$G :Xu2E@$o:,3ci9/==a&^8(ȏsU3~ 9M >MoLvdMtxux\Wi.x"Yrck1.x|+r+:5ByAbI;B ^Z>P_Lun:: ϩB&ąWliڮ xc#\7g@Rd8Ul 4 үwmIlSU[h=;Kͯ {BW6Zm=C_mԏw(pDUK>Xa.ripE4Hߞu52_cZ+wHZ6p`k&JNOր*| )cdrkx_^/ `ɞRA8h3W6Jjv([{5$j>}m4c. rÉy ݂D Yn3e){8"~HH{N`ڔFE!m cf8:g JD#5?{p4$0pN?m Acz!4|c 9vU_x';ZKɎ9y:ب!fP=Wiql5/^?ɕmD3O瑊6tu_ NT;)oD89ʑg?KnސٝgW2bnh?ss#Q2%U VřngYZ095b9f97e97287b18ffe29681696f2ad6e6ade91 0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 496ff3726f25bba871a78c0bf3a62ec2e149428d 54bd0c7d3fe0c6ca011e2a6df705755ad8d8fe81 6b8b43304099b7267559b684ddbbcc730b932277 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31