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 //N% dt< ]/ Derangements:threads=4elapsed=13.297cpu=43.168gc=1.616factor=3.257zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3E,{(B4.mH}.+=jy!*&(s6>E <}p?ezx̣T|#FǶ߻1xf=ED%h\f;Ju05_%&j2NJ\"e4zWA.-ڄ*I/#ОOpLc򈸋a{Pؼ"R@p^(iΙnIE1_ ]if ki51pE~3o#v^1C3!V|–_I9 Ĭ쁡z ^eqקd&qӰlu=$] :@f\q6]0=ɞMXPd`^o> v,4궲xo9\Ɠl$!3*G+MfjXc] QW? laJ ri;ٷzsbjnX H$6H-c4qrO5BԾM$LѸk\ jE΋tTQ+޼@ZXofFj!5c}ܺ> _z{*AАy{N⑘4ܤ>M8,OVWB7ܗ~z YJYx5sPԠs|fp4%ъ [qu,ܩtٴnqгhGh7O Phak<&I{6> !l` 9+SeǹFԟi\O_6%zb AmZVD|1VRG5 rjLC䴇 >_VTpP觡`PY/}(~E-0ik ZR/#=2= 3$=.ׅBh_x$4BϺ"9'I1ev 'Sh W_-ҋLľ]Q``ftQ:cB5BE<,jr=߫(Ym;YD[xb,Pv=4A|_;J0<-EX^tAsŅY,'{)GOFORTzN35[ƅ餍WT8z#o޺kReC5Z2-z ,M]fD*0៚# /&lα}Dt6_a$@gTs$ t3 &ROѲG Vm !T֥P3`\ WC(e鷭A9e5Hy ?qu׍K{ Q}o<1_]+/`|V')\Nr{U 4')n.J1PSA^-=P  jtgYZ1ff0ab8f4393630b59c61895f0720fa57d5bdbb887d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 % Derangements