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  DD$ ] Bernoulli:threads=2elapsed=14.162cpu=19.900gc=0.472factor=1.417zXZִF! \]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:"{], ~+L˞9`aMCzۯ7IП)Ig*Q qy I '=\􍋵2Z1(^Zڹ*5~>u%ֻ`eN]ƻ:VUIzk$p}2&a?r?l/E_GJzGWVtdSP1"jf!8 Z,ε9DrPO$.=$^mA3. bx֘ ] gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLgLAU}\ e~5os͟]od4/>J#i~-!`Z?-Bt&mfyz̭˳PAk3coQN Ċ/رgYZ7zXZִF! RPL]ŗXi%ήuKd  %cFQA&_UCS6\R%"T׹t@sew&8Laβ:G*V4Q}2gRX?J85}(КP%tp[ݕQiނ[sσ ksQ D"׾.˰ 0x=!Q)zJ;NO\op j)4;c/:"ҼgTbcIy> xC fN2=؄gc|e &ҧ ׵Q}ޒChw%cNp/ eLrL_o;Oy( U8x}a-@KN(ѳV 0*h^x?3/9+;WE@!"?Vż#) CY|$YС2W7rɃ$ڡ^vfd`5Wr= I L C"V9r@JX˜zCL˗4~x>.N8 JՔu gDȤ }z q۞32#[>}LM~|b-"kPEj7]-%y?`clI=[4Tf1ϵP)xi&xMT~o}PTuA,a ,g1%GAwo}q%;>{YFmAT+8ҢSX J]SlIm/äZ.EdbFMP<`&ѤPgYZ3ea7c3c0f3cc85e805434b777a106d90567e1aaa00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6   Bernoulli