SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 N% \lL ]/ Derangements:threads=2elapsed=17.978cpu=33.240gc=1.452factor=1.857zXZִF! h]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&35%l-=?k[[ Sn.MjX L%+-/v;/JZT?*W6ގlH9;P&IIC~MwJ,+bHN%B98 ִf^g҃`Z^tǹ Hc& %\ċ%H@an\#nu&ٵg蹫f?ڙ'.(x^=|;2m+U^A,:>QL:J2秲gƹڷ{M3PaL*s UR^i=)T#'(@ߍ3dkXR%n%gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4> ox Y;zQYϦAh'~80ذyp6P%Z(Ue~:ֲ$Ɠ\*m^|[8 }O鿡I,5!=mQ^ueBclۺ0Ȏs'gYZ7zXZִF! `s]ŗXi%W~лi '~<Ub>_|a\my^PT QǃEPgyH qDr a+95Z SSCCr2N/ɈeJÀ92bmQ4Z$NHhfq,WQY%Nɾ X!e :]P+[nr2 DyvUM`/iyc9ωg:8&0)$R/4s-Bk[(ryGDCUQZo$V{k{}/\?J~'(1(+7K)-B.5ѯ? _edGQ t,zTcvJPӗz<7WP4]!;]/wEjFrd+E8#bٗs>(0w7"^,nwVdH`dQ__ߪl՗x m8|L6~/0+cU(bh *\Rn3[;؎Ta'&r3{#l{UgK K $ayd~jƿX!4Aq!4Y .A\sPl(/Z@6wM+=A؈aCuX붯EIvDNt@%ҡn~tޓS;/퀵 XVz`'.G P˴ҳPA&gIX"i&wHx/}[fwQp=:}p=)'m%U'%V\|ZB X +ܿm-7 /_LKT[;?u\Nծ#ZҒ1=UI B(`A/7n ;b>f@Bed$,:Q_ZYCJ`MO(F@T#젪*#ώttLhnfZ9CJ[J3q{YDP \8xw qSg}1']ސtɽȑqO]16Y򰙴Tb]}2 {[脤a/Ɓ*@rqH40pր]&/m0 3=XgYZ0e2ab7d71664973a3f101131ebf66d9339b4ed63d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e % Derangements