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  3 < c]Bell_Numbers_Spivey:threads=2elapsed=18.191cpu=34.568gc=0.572factor=1.907zXZִF! DT]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}ӮR_;nԶy#ÞdZ觽?1YU;C/[_Nۛ~\{g.+t & j30uUE=v"n[X< uϿZQrsJ-rXv)JH;rɄ,dਦ-ًH*D$4Vcϱv @ 5E~.rF# #}@phby)BKI~)oԴ8,gQ[P,m䎅I\K}elZn Iτ$1 3;-"hvlRd6s#.w@Tiݔ$V3+4JiFU;wK#\aRH)kDw 8Z@|2Qz<O<^ Ոͯ gYZ7zXZִF! `]ŗXi%!R4rg(pd:iaFO/+MJUv)Cku%nWM+$9A:B1qCהY>N4conxi`C]OV0cS8%͋GR,vL*,znqgO$KL j es\5 uKH8YqIs Om. ch6\8 8idu 0yenXk<I!,=|M67#z~ Z?xKPX27z~˿ گbi;Wőy-^^M'wlñ ZI扳w'gVю/yM^mʣ(>:[j 7DQ1RXyBL c9oxhRx2\z~5c^Ggd\|v_G%VbSiJ"خ Odn;uIElDqLΈBIșf4bJoMa1 [g!7Cnt ):hRcƝ0{ooс}_)%reſK=`Ta%3çj'4yh NCWCġ SdYЅ \]""]s--:݋jcP=yA.U)Sjػp_yUb W81K3 <&;T890~p9K8%Y*49c^+(Jpg~ĀV 3q\_\1%CO[v_+ZV&