SQLite format 3@ . BBh77otableisabelle_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 nn/Ll4 ]S HOL-Isar_Examples:threads=2elapsed=5.011cpu=9.208gc=0.552factor=1.847zXZִF! ]ŗXf1-q恈Cl68V< My9sŽϹـlڐ޽ύΐrP#_%#;y^$7 uCYc)pvw];r6"wyK7YQ_iCB YWQ4'P+h2u!ti7T!Xf@HV23G؝(o]j 욘*ܤ3ӣ<퉥4;UoG1P,AҌ }φR~3~&\]ҩId :gYZ7zXZִF! n]ŗXiɟ1GBSp26llȄ)sSd#a$^RHNCK@"$ \~w|Г@06c-"uAZ_\yw3#nTE;j X_ ?G'֧.:`Z{ ȿak̆AOg`؆M'1ce6Yv=uP{Q=LYP=ߙ#vy=r:Dl鑑֌-ΊFF^"R!JIYOfOŖ2d=w g:U"5.9xlnn3hQJϖZ}K+I>Dm^P{(#) b(4d03 jN"2UUvTLgYZ0b6c72e0aabb33dac515cdd92115e92116d9e73adb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c 046b60d9eb2495b6e979ff904dd5c5d27ff8c452 / HOL-Isar_Examples