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  J J3)44$ ] HOL-TLA-Buffer:threads=2elapsed=0.571cpu=1.028gc=0.000factor=1.807zXZִF! YV]ŗXf1-q恈&'ŵШڿj,bp֔sWԍl$'7{R qf}}dKrZ1}YZ7zXZִF! Q]ŗXiɟ1zVU'j$fGCH1yuB6ـst<5@佁 m\eֱgYZ7zXZִF! L]ŗXi%;avcm2[u):ЊIPNpSL=Z8fR)-^5Lf7̀ܗU9u 4iyĵ,hMslr)]2g5^yOs4BXρsD_-f7}/NKa}lYj1μz M BZP)1s]}y\ӜxumW?*t#`My:է(9-yĮ9 ޚ+ulФ@9'Vg`܎p,}Dy{8s]w/z^,ҨkմJmL:Q$] IgYZ3585a7648187970e78f2d291f06a6fcd5f9239af87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aa 39d74aa8b026d5b28934c20c1e45c4254222b1de ) HOL-TLA-Buffer