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 OO&% T< 5 Derangements:threads=2elapsed=58.485cpu=97.976gc=4.720factor=1.687zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*om<7W4Y ^1bm~RciĦY!PЫ[?9`AA,k/M y5jI'e1DN͝Æ'9BB#wqrZn;ܿ pqJq&:kU5m!t[xO" I'NX3“XGpoTF2SHn!W/*|^ S_PoNpS$U.L? VOT^z.F ]>'oQΠ ??B ȴ"m{ͭT ^]巢eWzTLT֣ EL6:JtZouŃo׀2>ogyEݿ)NQROJk콠XxKe 32J>T* w4ojYڤDdVd@e,h#iԅCZ/r8 I;e /ֲʫg 5"ʒ5lkJJpd]hS!3}k x0_k5,v [eP/#2 FUVGp˅"e/nFk09$Wϒ}6jL xamW.=ŀ0ckB4{5lOZgǞo_r`2%; B᫪85Eu{_mSxT'1An&&'pWyT*RƟ . $olTHX[Zwq-I AƋ =6ҼiAO.=Xq;/l htUº؄8kEiZHNS֒L!EB2S &aYrWYB'|z̏Q4:ӉUa1AS3z) 릺k_(X˕sLYDļoa 9GXnKbNDzӗLx>G:8[pϣ+ 3ȟvpRo7^Q&1DBfù\1OGğ jMwYyU B;6`Py&*B @E"[I%a!]/+g ш`X C`oS֣ČJ4kxZM]ɑagY: jl{2܂m11`Rd)Ȼoo`–s=f*Q$i/u epDcH2A v1^Әh }mAQLC|S]h껙ҍ3TASobrzQ5Æ:y(Il\fcΔaBKt(A!'~7AH ^kG>{4p^- cDpNu.w/Ow3&_%pg3~igԁB!H;0#%;ERR  D\C o~a{Me"e{PX<1M!0؃R5Z8Ip1]H11Cٙ7"To`ǝ[Kө3DžE?\c|%EC SB`w&-Mn4<,$1:d)핼."pRQPFFc+Es!) ThR!cwwĵD̐H{i{1"bQsHvUqF3R_E-s_0F} M}/FB,yk.V9+k6(~=ۦݍQ \Ðܘ1[ɀVȻ|˝ ڏ[M <3 'Ųفx*V/y$#CBo&NPBj>|אߖ[ag@T+zͪ 1xk>Śj_lumYK8uA݊@ƥ2eЬ`=ʇVQCi2R 3&eܷuC>vf{jQWA48lLڋye 'ؒkQJJ1ɱ\xΞ;>dg ~Tr:Z6f;DEzˬ9{"i]#-uMkq9*[؃sw沝 )KbXտ+[Ո(-;4}׸pQk9. l"Ku>[ pU2,U,|oz@eu_j`A6Ed0*분6؉żi!aC6V9¬ôUh0 pL 1ٴp Ԟ=(IP }/.F[?RoG:$Cce+OoPX{y%A F@/[:h0YF ᒪ\$byWnÝdVZA &V/g%=yY+V3'Fq'/DKICb-ȷCÅslQz/C{]>A*^8ڵjݬv:H~ʣ<Z41n zSE%Yi {s|i݀4e\OOZaOQ{* Ib\c gÆ@<%c}YmR?%a &0C0 3bkSXĈ zBW % Derangements-ٞ/iK2f^rv+깵##Eo/Mwi$ŞfaŜ!*m~Je* x9}IBNѺjt8Zd1+]VPvaBx gYZ7zXZִF! K ]ŗXi%spz7:j4L9zv2XS๶ɢ큋3&^F ( #< c L}/lyuw%f)"!TNX.κubT <ړ t*cRٰEvuyRB#.r?O8RԿzb<\ W @ҏY󶭄ZDAڧㄫ[,txO',v+ ʉyiE |;+W5n ):k6-fTQ?~n^qbt܈DnCBCP%+G\N#0*i:Ç@GtFF a4 O0nЖhj3P›&vKꦰSgJ>WOoI0L[ٚ*`8q& A#qSnY7J/ۇpUb=b ?mZoN ζ=+k/BU7w49Pq8[eMyt0j$\/%OdHL{ިi}Wz|8v9N[~V%., \h!LA6 m@,bejK(ѭFޤ:ݫ mRVI~L3}WyDQ{^g_Q;-ޘ} J~ࠜH ׾DrW谛O:r^b䴏}sA)/ {/%|xy?S8NEkX HLBd?8_y>͎J:ٺ8eixŶ / a׆Yta|c'gvh+0jJiSMsH<뽧w(!LluM )ul=efQ7p%3 )ٻZ=I|PJ h ^\O^s8A)|]oUv 9Gڡ+{h;W!MLqi/"ap?V~耫~7owmIl P32Ĵ0$ g.? 2G -6Yi^ѹeW;j|{i. 5x|]. ~6u39į|}Ub4|Zq4[֧?iN-͓eÁʭ!^0ghk%li O⸹NfЎ(xvZ qG+ny&A-D+w Ň%ng9vy^#]c o #~I ̦gYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 496ff3726f25bba871a78c0bf3a62ec2e149428d 54bd0c7d3fe0c6ca011e2a6df705755ad8d8fe81 57d7248f4b3bbc9597040a2ad191a47d6e953ac9 6b8b43304099b7267559b684ddbbcc730b932277 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 d25f3d256bae918966574511fca2002460d905249711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567