SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info nnt4 ]HOL-SPARK:threads=2elapsed=2.461cpu=4.156gc=0.124factor=1.697zXZִF! L]ŗXf1-q恈eO/z`Ѓ)&4ȬX8 uIN'ס >#`>ۊĴ_Fؿa 6i洢sljsX ];zX" 7F뺍F `]c쫭)o{ T+% .(O3 F@SP5DGa@0 vZk%WoK?r^u&ts=p}MSh߼Tq")E0!]{(\[~y8`+`z[(& w4XMt}jX.ew6zmgEҍf͊R+ZJyZOEޓ?Ee+SZXɵNsTaQP_5k_Lot12A*א D6nJ}Tv$R gYZ   HOL-SPARK7zXZִF! ]ŗXi%KB bC " fnR+nf俊ې⬚da2Y|9pgb3⢯I3`N_@L<⳾/`??:{^*՞[j]EK)IHYA٣,_]h(nI {~jd -XO!8K I>l9lIfR? \pfL1{({c%2fJ/g0R!HM6@[WË䍉 _&/NƃkޖcdQ(޿~wW G#N~ K6AdcB4-ܥ2 ?]e7s=lY|u#_i_ 48?\ >+U *|LQraPI-VU"/5GgYZ0a91a2f15a1987b35baeb7554b59abed96b30a47 1021744b04050f34a34150055e6f58c3368ff02b 197f2c6f40bed80a498671debefccbe53cfdfd65 2d2f8ee4115c18d1e939782b42878ba632c49dfa 8635f4e0172f5cb0224029f56357f7e226606241 b90f0f26a2276c8a851d354c76363a6bec4e816a bacfff997c70f99c466cd602f9e3c0049e93cc3f e91cabf3fc84c7150a9ab2aeae404a0f796263a280f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 0d90e78a71d4ad12abb16f8b317db1f37020fed81106623d6ae3252af22542cc7a0731b3533a8183