SQLite format 3@ .  YYQ77Atableisabelle_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, "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 r# Dt +/]HOL-Nominal:threads=2elapsed=8.564cpu=16.532gc=0.900factor=1.937zXZִF! Y]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/n1U;b4IMXnb#y7 zlE\XKn:4A#v.M1J/B}C=Cݥڅ4DVO_\9B* oH=< 5|v ?-uYA/ٰ鷪kSl⧟g*D12Oՙ$-z~ÇE8_@ārY\TB"@9Ǝ5H }4Fj F~j+dԺ0`ڜ4Ig9gYZ7zXZִF! '2]ŗXi%6|=%В=Sb Ie6vy/[|n," t-#8Kv6|cɬaN 'jוN.%{&g*4mM}Ͳ'zpYci ƱrpqCT(O9z`y]zm`K]^[XhT$h~Els;/llNir'}0'Cr阚xFn7Zsv~B] sab d83T {5xDwAf0Juq/("wݭx8(h4eDY8ms&fPEhqF{'z[ב7h;QU) ~Ty[pچh`4wy?^*4+VɹUFH\-:p2|(%^6$86#mU1vzU"OL:8}bcF=~k F^>Y[C9rBfRQ'ڍmaX(Ο^F&Vw7~HϚѷ>Ŭc&ﻙl+TY2y{h*#3