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 tt 3 T w/ IEEE_Floating_Point:threads=2elapsed=22.025cpu=33.740gc=0.556factor=1.537zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7{v_a,$dxe+MU:s kB Z/~.¬@֟x7|oĄ}Ƽkߺ06%wN&D@/78!=k]X=_[A0ab%f}ܚ(k)LL6uEge@ eer6}+_t>w^]\ϷdmXvDl %+!%O BeX7] S+UV(?ǒ|7.TsEbԧiJG.Fm[#f~ث)77AٓTXF?|~T`wBiͩGXvRgY>ogYZ7zXZִF! s]ŗXi%꠽/ V'KzN ESGƜq? |Dž0 adAy+`q]20&EY4 )sꘀ2q /r軰B*&{ezTЙ9F,\>kf*$`xa׾yP-}\&!pvNXovj\# 0tɀa«ׯR]g#zFV㬡פ gNH<\ x4TMZx[.5zmlXB`z^@lto ~^ _*&s+(a֗qUB-ot7ñv-Ek}Ɓ#퍛GǀEKG .)W=:u U,Kf)*s^hyB"Gn(uW7-հ_HF  kjgYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 3 IEEE_Floating_Point