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  mT ]/ AnselmGod:threads=2elapsed=1.948cpu=3.252gc=0.072factor=1.677zXZִF! kz]ŗXf1-/6vRZ]Nj-Fhϴ}L3)si_[շT-*D( ˜ R&n?A?$\0j|NF|-- (E"'gYZ7zXZִF! G>]ŗXiɟMf{kl'dsU "KAFBh;VF}Ы `a@ZHW}YZ7zXZִF! "]ŗXi%;уzJ-$W4u][ڂȉPhyI O#ԆV}PhJw.-< &4oOfoa#j.Ϛ4 RV`̟o0* .SObtT?o{*#CNX KJ UՎQ&7N0%B;Vʌvgׄ tmg[,H1ГDjl#VvN"'@luڬ_R}^H sS3a#i-mӀ%ݺl) fdsbu *`*; ?Dqf~uawjSfv'& TEgٍ7\SɑF5%n"7T6ݚVxy!#\PŬ8nĈ!6rDv0J|rG1*cHoJab a&/)μAc{~%;@gʱ=xqQY)( QIX3|Män3=gYZ06bc2b56bf7ac2c1ec67d48e8d17b9f49573ccce79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6   AnselmGod