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  [%4$ ] Derangements:threads=2elapsed=5.358cpu=7.832gc=0.196factor=1.467zXZִF! ]ŗXf1-/6vRZ)Ӗ1TwMNt jyc~ͮu;QҢϞ`Hd.c*u$lK`ЀjE: ^Y,=zlBu+`6jr7s{ց~翜̯xR?-ְ(ch8ԧ349 *c/^֋ujL9 'gYZ7zXZִF! # ]ŗXi%6f:=iRz]/cӃF:87ѵ럾)_b21;t eGֽA#]|zCe1[azov{Tu2%S^}^p]Ty,iw(q~Hi6=SdZ>uuܩ=+o"7('[d>CIB.n vEϠIMOٯCJnі8]X)$7#n~s|å6v Ǧ2'^t|4{&sC-YЊ]iu1v*=.py2jeCwQ{-l -pn8m bqШܦ #3Ǘfz;sΟ\')DVբQX_:tu2ЮtsoQ= -Б~V3y1%a-3AMT] νpb1I|:7Yڌ:I.s6rrHN A?$:a*Jfc& h0/p l:,F(f4SmqW?B3tQIihi:~\Kϊ}P/Xqy/Qv1\T&[E%dha.AȥJ(QdGc6; 5O#v{qb-rϐ59UĵPc%pO bF>YgYZb7ee0eecabc3a0ccd9c6f44798ead61e4f871b680a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 % Derangements