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 [["1 t ]S HOL-Probability-ex:threads=6elapsed=27.368cpu=45.504gc=1.564factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]qEF{ۚ;AC{=qeN\bq5/:z6i C?_9"=0#V|iLc +?իO9@]v#6~[Y6Ձ6lmF £5)I3o>Q]tw73){yTe_D'Meޘ`dFt4fTYb\]=h@22klgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >EaJdCT/Q̳sFWLmLE>T~\ Wmb:|!VCJ!Oyx#L e2vu5̒ks U=kgSiv' {VLgYZ7zXZִF! B]ŗXi%#= v b bLۦ`C=~ҟt `jG>w9y; di*4:g}^Q)4e%ʥQu,`,ZZ_9$ {+40H 2(@6;ŦsH㺬eB*Ayeyj](l%^B?цϦwMTӸdg udM/1 ܻ?*D33CpT[.1EE,/ޑ>ہVŠƀ𻡜j2 kfz]ʶUO 1B T0۹i<39{SqOitXz97bg_/,reWavVvUɍ,hq5aEudŢ&Tuşd&35t[?C#y(:ҙl