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  -d$ S/ FunWithFunctions:threads=2elapsed=1.569cpu=2.612gc=0.000factor=1.667zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`&Ѱ:XYFvOʲ\&=P7zJW_D@#]w˳ԱgYZ7zXZִF! ]ŗXi%6ב 7NIWIJ4.gTbV. 4B8E1U74 dMwL!35OJ+D.gJz} kS M9D"f( OnzMz b};yJ鶌S9ΌKM:LWEͻ$ #F:I^IF6KF5*eC;aeaUpӴ Ol[33]E{ۇOz2̀/9uKѺ3Y@CC'\'Lpea&qV=DZQzWHeEfbw+/+h 1gYZ0a0f83ae5e4d695f82d4318d8dfe758cf3275d42 4a6de12686884db0c6550a5751b6a0239d17b514 a8c477be96aac3d21498e1437478cbe1c4a12c20 eee6079cf6780ae11f9d05bd5893987c93c480a3238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 - FunWithFunctions