SQLite format 3@ - llB77#tableisabelle_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, "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.085cpu=3.112gc=0.000factor=1.497zXZִF! L ]ŗXf1-/6vR[])f7鉥_z܎kԮ%L/T!Clg3B X7갓&Ed8DG`1ϼÔ@(>·`E> ڔQ[uG\z;}K - Surprise_Paradox@mE RX:٤l 㿼OfHAk)Qp Kok16s2/V)kl.Hf]:'71F:OkC\wԱgYZ7zXZִF! ]ŗXi% cU9 ( J01DaKlv~9L~h|Eyy@Wrsq!T%"Za2$ѽ@œh*4f/6ȧN}!ՑRrg~W߁~|dmdAC{R(=:#!Docuۡux_{c?}UθP[͈- V5")+W Tд'A:كӐc/H7`J)y*汱gYZ1af4e2e6d29c5ffb07cba5e9ce2bdb7096864b98 3088a1c3ae4737a68dcc9f7e680463535f0e23ee 6424ba0970fb378ef389e61c6329d8c1762474de 8e7b46dac1ca6a051fa45c0250a84b7ee2a7b8693b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 2d8aa2070b8094bcca9fbe6390be7aabb64f4950