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 % L, 5 Derangements:threads=2elapsed=59.023cpu=98.348gc=4.544factor=1.677zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*qa#w9)iojx&៾0HS>I(:I6Sh𭳘e3wucM,hz+!;zݧicƄaSf34ZfQo4bdbPsD7*fXAE>u ?F~`BG9 +,۩'u/Huȩ~\WIƤb26;KO p qM<%N|Gs$I}"y;wu(6 #̊qYdQ85{/-켘t WҫYY,NWԂ)0o&ޘ+ ls1=jQ:@N8v} #rE{c5 {Fwv\x#{(*HضЪOЂC=s>SizIoAG!.s0*;mv`=Is}㎆xQM/bNg9cX璾=#Gp?/¶;/`?L{y]%}+#7~2v}ƿ-%0%FÓe,w % DerangementsCm!X/;&;9D%"IUlcn 7"&Za5Qe K+gDMGTr]E[kfhix W_92coױx< 7=Iӻ<=RK駫vEkZn 7^-, T 54TK7d+w.֋S58LgL]d΋r1+P@|96ٜ~ɬ܀?w^7*fբsŷ V Pw./V{PoX"*lވD=[ L,X^dSG%b7+#tQu?vѲ:By9*Tusj|}UȎo h;_$84=HWbףQ-ukD $з&M3״_3R>XwT_ `d툾qA>VEEo O VMbu>Zh7oMTEgƨ2w20 תZ@Wkb] 1ѬT*7#la1=7=1$:) V|o>P/K;9{΃p;V~ao5\TZޗ4i K %T}+@[0ĊWt<6I2.h0R1$Ỉ幔>wvn{ '1Վ)jȥz t-2*tlr<"|>JtHA`Z^y; 5 lX QÇ%*XKyKȌ8)韼DG&lABUK*Y㮍P+A%{"OqP/n ;VS9!U۝?]{0E/2@/Q<#o8Xe}H'⇝k2d 1k`l$Kδ]Χϥ X<ݢ|bv۔r1*v3 U9ƈe% Ug1Љ"=ck:|9@ϱg(ttD;pwP;L I"u\s A.}ֺ+Eܑ~([ r{Wo"m34ƶ%`{H c RbyhK %xnvʐb_@.,kõ5ɢhS,1vDgy% cT%(Arq8 I[onB޿ |# ]|GԒ3zڵfD}dPAJ{Hw/ƭ gbb|)K傛L|wi8R x:S R} rĺVqsImD:mA}-{~쎞"$$ GͮQdLXxx\ǝDϋ[uփx3Ua iIuX*V8Q6D⥜zhZV,,7ڛԞс q!ZtKU^/cF_Y:+i1'[-P 4 ks3>S l!ǬcCؠd~`ձgYZ7zXZִF!  ]ŗXi%VoҟY&;]_O4sی(6k=8ڽnu7+/UŝZLwݲNrk=X~_[IoAQ{qW@75j|:S pB!4)d6>qqMЉnu0JĘ2rg(&.u}C՛G¤)JE(ZuMDRս{& eyhځ5{x$\%)19gaلۦkީI;F>" TE9D/G?K;_elu4дx;N@Йh!1JO3,MDJFFmgE?2>cn{j6ETlp'zbht+E4zgk%!6T76ޥ*/D1\>GYy5m83"c6!?2l:2TL6HDqN=P !(sm}eV`v") EnՆ5_Dpkzō+r=P@&TOM[-?G {`8SAL~(`Qp<Ҩ*UNJPZ|Sh7Z'`hpf܃nj}(7WL,boM˻vET7Z)^& g&){ phUV9qc&eD,K"/70^ݯUYf(xcb9fTsv3[p-8#^''$%7gFEeEH=ɻcsQbvz@G>[E:(edf%L32 Bv \Z!!? 8‹ yʅ7 }sr\j Pg:- 'C :|TxtwP=E`=LY"m+z,*$mBGf:L~ m*{ Eg:Hyz'S!(˩"!-1+7t(?Uv^cpգᚧhGXd}ErS_+9#x]B%0b{SF1BX[ðpޜ>hrEǃ={~&-e̖oY> ״>ȿwU6h2o!wn ]}N.9ڑ^[ գ;#y j0Ҷ[Y!3B b]HƜo6kN1U|0xYKeF= @~cO5v5wWIj=#FBoHRW5Y\h̆oL098wi}yvTiA0&fT+WNgU1:]& 'S\SU;ej9wɋ.Q8XЍweaѲ]m`;JC7;j}{a&"KCꨏc˺m3]sh\.w6CꝹUkd_@>D.QE܁.C^MJ+ $zc%0MxΒ{i /Z)glZ %{fI>KnH; .~IO\wg*7'\U,Q[Pog?a2˄b2;3 Fl&rR{r 7crCivP^͹ FwW?c[ƨiH[Wa%:6(Ejq(\lN.=!L~t`("d:0؎wgPd5^}>RqiKRi5.BQ: ce6TU~L˨+0~Lrhhd%ߌN%6kbDF)D saNFYKv"eM&B0ϏDE01?< ks#~\^8?T JMՇ-p!JʲD*|t(lϙ:gӷ*6wYޔɳ%j2 ʠ- | (msEEgYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 496ff3726f25bba871a78c0bf3a62ec2e149428d 54bd0c7d3fe0c6ca011e2a6df705755ad8d8fe81 57d7248f4b3bbc9597040a2ad191a47d6e953ac9 6b8b43304099b7267559b684ddbbcc730b932277 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 d25f3d256bae918966574511fca2002460d9052480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146