SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 *% ltl ]/ Derangements:threads=4elapsed=12.908cpu=41.948gc=1.236factor=3.257zXZִF! m]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jo$K?w{,˳!+L1{!xKh .T)DrmɓL [G-~a- yxR%7#_l[CD/ޢ yg`!((a,l+<7K{K!_tzI_$t7yꟊp?ugll:c` VQZTMDEIGԀ$nR"$  LLj =<5uBL5JIjfbkZu l6jIgi;}wx c[/F5Ήgr;=t+6'<ĶZ` tJ i:jjnpao_zCPPʝ+)DKlg5JCy6X.|[2_SG{hZ T5MY՞ŋl" ( by@$Y:mp&F;D-{6$-X2۩nv\'}2r ,0KOL$|c]U-E2-)gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4g` )Q jb>ٍdž_{X}qi9#R'8^>LsgZXKt9(:7Sb=7v)2@g1xs},p⋁=h}Wp4ރZq@z!RY"7q d@>֫xw}xif6>S7/5e%M vF=@s#YeXO+fّ;/s;j(bwt:taസߚz'Fy@NE].?4Z$+Lc$ς+Ĩ "\%e]2xW2r亳˓a?ߢ:P&mYZkx( R94nU +_)+V5/T6N)Jq 2H_][*D"R})Ζ|/qVcVKBNz՝zh\){ =t~"UGS9M!tQ}N-f3FYPTN3贤tlȖv9<o힝1,'M |ZOv QKtKؖ870)X=V-N 0<%9  ⺬!,2 ) =[ 8ΜfHx2{XJh^gZYhdbE*gYZff9b54e618531a3db12440c6d6baca4f830641e776b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 % Derangements