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   a# |  ]]HOL-Nominal:threads=6elapsed=6.220cpu=13.020gc=0.636factor=2.097zXZִF! ~]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTTkeը&)ǸDP('Q\rF,tk2$]d4@WsS ҟHU[Y@JpڕoWa~+-hWf`G˗s P ճ2QQA҉aO@VWF ً]7*@{x-3DRrm u  |=gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´y]{ۙЕCC_7ks#G@urB Y`I'{J}YZ7zXZִF! w]ŗXi%9(Ioʖ5=%n< #2;&RgG("7rGa`]ScǶMjk3@@:m^YUO5N( 1>K}V HC8!-,.3pz1״WBw5v;PmƠ$=\9D#gT.{-{Pw M@ LyrSyYaje5[A;Sy@dƴhnIĀ?"n=*>GܗZvXY!]abͻQ+\*753.:H - (hrR^( ZӔ>g@ےXV LމS,Jsg,k]Lr1p7+f/?:xNfj[^ą<)SG=^P3AI$_ 0bwHv οtUK(;Yz jhMY# ſU0%FV$MmicTu|A/(_m{a]ˣ3_FeWḞDI2kp!S7"!_+0-v qxڵ{eiW UJQߗқ:KsI <~gYZa31d11e50df6479a97a3e0bf0f7a361bb57f3a92247ee34b70883a3fa10ad7a52a304d82cf858666 79d8a2ee73caa6ff9cf2e41500504f89e401487a 24c9ad8d0282f4fa600656d69b0c756f39f48b480575566f4851909a7d44d0d562cf6521597580c8 # HOL-Nominal