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  \,t ]S IOA-ex:threads=2elapsed=0.794cpu=1.660gc=0.000factor=2.097zXZִF! h]ŗXf1-qN50^ (`/aшO@aMUs[eB:E3=&wv[_i[@*~AEѐ^=gYZ7zXZִF! O]ŗXiɟdNG#8 Wƕ)v3)/h,#$}%HoXPDoFXI)ԯ*ks`gYZ7zXZִF! r]ŗXi%;ULw/G~"3g {5"<:@_z#.HG &Uwd3 y"0E5&vx.a7|*˘S{+"xWnR߿hB82XP`~Qӥi6ZO+碦+י9#R)(Hg1tF,-ָMk竤< UŘ7\W7(Z\bsO2 zY!Rr?]O'a=\ȁg}[.ׂ­kg ʟ=m{wl6 9/l`pZeҴxa4}#ETe, 9ֱgYZb28d5012bb496ba34d3dc06a7071c4338d27f2dcf82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 99ecd7f7cfb43e2f575ac3077627e2c33001f83e d96c32f8b2a195491e5f63fd5a64eece1939bb46   IOA-ex