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  -| S% Surprise_Paradox:threads=2elapsed=2.182cpu=3.156gc=0.000factor=1.457zXZִF! ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B MRf4U?FS5jw4o=g5P DfL%~ܰ]a Tg8_i>Q?.p y1 u$tR0,gYZ7zXZִF! ]ŗXi%npU(E7srl+ruǹҋ|{Ky?|< * ܢ }q N &8,ξejN8]̫0<9z d3S0hj½){< COơEX=U/-w]4 Dbd'7Pq%yI{}e1Bw8fe2`[g u {s}:^:U>KrQqjj é(/DeZ:8 $?0:QwP3{vM;BĎZ~T;)\ʱgYZ1123444064778f19f416b39d92316b7194b2c412 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b869735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 b13adaf4048bcdf3c6fcd4154091d7052118511f f54f5f1ee40adb2a97352a599d37a3cd3b56a1eb - Surprise_Paradox