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 |< ]]Bell_Numbers_Spivey:threads=2elapsed=18.915cpu=35.496gc=0.776factor=1.887zXZִF! 8]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}c|<Mw*^$Io. sґ BTIXnG D*&z\b̌g.v\#6V1TSK|̤uhloGzi *8AJ܏iģrf4+;Mjܾx+w kIgYZ7zXZִF! b]ŗXi%6qaGP%v(!D=|k_K2r3deСЧI6=Y/R6) v͠6 d" KP | Cmm˝Z[%Z>5x^IL_9[Nνo +L1.!kr(H}]#HۤJn?*{3;<9M*Zw1k\=*"D-n}fص‘Ϸ-$yZDLȅ5ZA!B u'ⓃVZ'cVv3@ xՅ'=Cb.SgV%XFI~bZi ɹO'O[7qFV8P2N[MI.@ |{ͳ5:`(FEO6SRgN5FS{7'%&ad5{x[xy$rNZ4YGNInаE1"뛪eӸ.L.rh[䖋VF\{VZ!O.vI_ ʷYc"JK@NүPb("KL?1 83gYZd2d6703388c6b96abebfd4a56422eb01becd96271e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f83a087f104bdd0ed5e85a81cb6c4fa49bf38b6268 3 Bell_Numbers_Spivey