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  % d ]/ Derangements:threads=2elapsed=17.988cpu=32.880gc=1.364factor=1.837zXZִF! A]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT53ɺԛ>+k9YgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4b`CTYC(^Yo]\zcEɷCEK,ג/5KQ XeZcXĤ 6,݂^.$?փ?L"Ļ%]zYPG7[Bn ֱgYZ7zXZִF! []ŗXi%9(P4le_n%Xɴ%# flp 4J́GԜLuCU"hMo (qL̶DI{98)pw}m1%byu[E'"_Sp[ g3 u"F%x϶ 4TEMSǖa܏ /Q8fZ.h5۱Ivfҍ38:~i1̙YQ^Lg(P( !1!3ܡXǞ2rD@f~!48 ͕+?i1f?UoN,&J|}/M" A9(1f#OF`Uh̓Y42;_Hvg4?\ADlIPd[txZ3&7!(y '9MPOc@ q)IH=%;A[;7:>,tg4n_xbӸ V8ALg&ȉ 9;3eV#`q_1CY^HL +RE}Sή޽5 BLqǙ1J.: ʡqBdeFQ嵇k )Izkġ3zKO[4 TIq @WY3_= |$K(zTlɲ3-H9eJLb9/jx[(ÿ JRA}>#T7[VAg!2˧~iNY)Iώ ۶F>c2o a4YyA%dC!o\ 㨤Т!a@}xbSXW,+S*\q u(r{BZ?F+w栔[59E~\ۯgMI3Mwn۹ϚV }dcet;/{=j,}cw2<cy!JlDIjgĔegQs#]ɄW蠷W\dG(V[DΎ.yDa6S-;]yMgeǘ\Ѿ;AEłf4Pn%A[Nc8ۀFL*̦@TK$d1hbJ.p d3A*.¹IiQ թ^x. ϸ{0&F+1Ϡ |%pDqh6Dt" 4X-L 'H) s9^ݖIi1ys3ۂX yELݫj,V5(!W}A]mTBv0"jӈhN=o &&gYZcc87a1ebad6a4f881287178151c634ec24b10865620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 % Derangements