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 n%l4 5 Derangements:threads=2elapsed=64.523cpu=109.520gc=5.080factor=1.707zXZִF! ߘo]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*o<7Wǥ p~7H?eԏ41!%VgBí % Derangements'[*V[Z2M%#,g8ioX\1&17ihɁxc'R)&۹tx܋hf*Yą9"o}=m},\j1:-mU&AaN`5>RV9)z.Q3= ¦a$6 ]\EH 杫5X]:XoZ41,/¿}E2tg7!`M%O`@ =t]LWl. }WB)Ms;Tf؉Tݺ4=`!U/ьSeVQwԚ hD8 eo W0Ļ_fz|wNpa+X:gS oo!\; uT$-;FJm PA+?ÇjDnL[\nMeՀ?~S|I!DG`T|Kݳj ]S^Lft1ʉIm}3I"*X:Re cPG@{7,/(R;ETssz .K\eJ/kK(~5A,Qdnd2%g9U1iqHz#fWjp#'$ES#R-g}HjH}0;"j)$N7f{o4= ouOXsQB5QP޸ \#βzL؊A50Ba"y8*W ì$"bң*9 1Ȣ/O/0 c9TV"0Qvx\-"pVk&ޙ `5 \n\ZbQ)TDk'fǣ*~) CQZ<3Sa) &$~'Vv]Ui9qO1|a\޼ Ƹ-7h<jS31Iܤ6`mVA*7t-|%7c T!YRQ(`sG+'@`(W/f[R \cNuddẖnjzMՈ N7pAbP@czӀ~/AZp-:BjWmDVŐј:\3Uj_3L}>XZ>:0ZhP`8ch5-y(V1++ˣy6,:%O}H6CNQ"K%LM?[G;jüKnW0Ps$4!2$<15W}R2VLGϺ.>+:fuzqm0;ƍЂ+ /3f#Yh,>:#6O?6& JUpJLxz~mȮu8YlՖ83 W\25ucX0TR̵/BusF}U\UcCQ{3(w[},|9'mŻ"iA&<bs qwԔVkL'v06_ؐKOO2n]VN5Jծ|𥳷,/Fi"{jNVjBź3b멠%6^>Y_V`ևT7B|9G&piPeH[rhFBzM/iZCC<Sۥbqu$ǙPK͟up &vB-?ܳVM``~,EKB3{elR{ Ҥzh^lwvNZYf_0|PgZ ߪs1)?n<Ri@*Sc{\M$US=]1j/ГTZF~˅2ood;21Qեխ̤)XZ/o;\io }dc|]?hiTzc$Z*`a 9Gz.tHT ܽ4Q? | @(A bQg۬ej9W-{%\ M>)\Z?`-w ATكLφnvajnQ`iXHRljo4n*AB^ؕ&R]= 'V$a.X ^2nec^NҚiSoD@+9U##ciXt ܟ"8Tw0i2|DK,}c^S;<|+rb+d`X=v@ pD]#&ыVEL9ም'ե7X$ Y=YE[,K$1QF*usr!j>z1 doy$AnK7 ᴨpDleaog"ߠ^s#Hm#%>-lûkmS5UtpgYZ7zXZִF! /]ŗXi%Q& \>hP7~POXJrDj/fIיř5N@ac`b> 8 #6m;W`EN1ns"$yc7><ےl+Qq!D}=s`f6.FLtFl brkT `Ya XOyIO~'t?1O-V#,?OEW1h Gq=i힐\^R5ئ dg_#'14u^?x12[&hۅi,N;f!Y ѼmbOy`Pqԃ9#94 wRSK݄j˛3:f ңoN2wx-2BtġgY'3O=W_ƽTDRFtrN<16nEŸwoOu"ڋ=ZÚn"@R%Ino>UI ixDڂcv?v`&пU Lh_dgFKkEBS1{BA,c ]( +GDPq2c ZWUďZsed 7:0u'?Ʒǯ(8@ϭڜ+}+өJj0]wXg<s:3n-.n$+reQH4w5qO&ůRgTSkm-{Nͅ[!)?lםQӜU"\w-[Nd}V5MWjgG1c`E9U[$ %cV7s]܋`m.Cv^~g78hxzLj6uBe V c}S4ÇN6?۾̵S΅C]A4뇵1܊b.׉*^_Z7\h슋` Z*ѩL5,̈́:a?3-cWhU6lwƵ^?1_`W2QY!Lj 2\yqDy3_0ǣzR`#&k1&Ӳl^E8oEVC \j,ޫwiQ*ř / G8b M:;Bc$rEtz6zLO!xD#+lLJJJ6\*̮b~.du)FM<^c@qAxP+7ͥN] M"?Le]\S9t0xӋԣUDp<:oj=F.X`|)twxӑiX™∮ D;, S.CϜ֯ԼxRyqݹcX|\C-pH4Mp_nXQ)b$=ijS8^3{%n+.J _飨b@gS=B2*r s>5AFGK1]ʱGq*|)p^ 4@Brv˺Q+478/) *&.Cz<1GSZqip[BJƾ?ˢhNZ57|E IfU[afNE'&C-ZrW lբ ](8TF`Z{$iTX__eHpԉERp!z£8 {{'RYW7MPEa|E#rp˯&`1ysL }>-=DtFFuMojyU L>^_ư[\ݗ 2Bhx4a;$Cs8:/N5y@_wY8N5Ni3JY9iv%nrAutL;~] w ğ 9#]ƹ;QPFӹ_OBDʕ0_v^q!h-S/cY+Yk7͡<D~5Ub8;cLnM2j o.{ӈH{;w$Z /P]!r Rb/CjC*%U~?L ib cSГ(9<ڵPl4-!K7ҩ%rG,߳9eȈVB鬂-9c綹mÿ>cg 2L ?" 9"H7X]#K' >^zo"$"&KElzԡ3^Eʭ90YF.t'1C*A)2HhU g)8_.L'#D|dIjI1?ݙ 1L(_ 8E[ffg?y&FF.7G_J~ X^]E-Yܑ}~M` ]d4Hݮ-Fz51s :Oy:/z$h֯fo՟BkC&77:=M2%~>Q.[_ |WZCJe1nG O~Pܯ@S $nr:!0* Tެ34j[3A3N ͽY=G`>[&VN^18Rh2%jmNIhMr O $GM{D6cjrsЕE^v0Z%W@ ' d֦ Hh|Jh*_b uo,I=~CB: a̗A:Ë/x?5td*U(1)T @?O/Z:I'=wi>sfciqѱH0Uϒ=|ߊxNɳ9)e5xmڔӥ) ^uv(z fɺrBsUJ,sY B @^f}]!qK2PY;ǿzK~04wV;7IW> 1Ӹ&yKIhYɆ)n7Eܭ@pSqBbU23ʩ˲Q?I^6ۺ2?Ufb^fGO_-H/xײBwxW$>.7m7%NC'G#+O^)`4+sNDžB-h_ʙ@נOvuMӶ;Zy"9h,ڤ:' +e~sRHS8f˛x7ʂs0 0no 5׌RM8dzL()hc &w-Վ!WdO7P`\ҧq