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 T) |d ? HOL-TLA-Memory:threads=2elapsed=14.755cpu=25.824gc=0.728factor=1.757zXZִF! x]ŗXf1-q恈&5v)w3X1sNϟ_&ԥl [$1ΰ I܂I*ҘЬb(<÷Xiz̨->>ԫ(Q./_,g4]VmܰɓfY+3Xo3/' _3Yᗉ m|M]'ȝjm{o`ھd!Z:N P\E9csTpϊF!%Z {Oرy3pXXEO@ ]@,^{=<ѝ.p( aQ7ib=p\~ɤ<Cb5T [o`TmJPM7pTP͆,Ȓj\>:^QC&j1ۮ)Q^7qfx?ibɤ }-+8X&D˥ϳCい2\ TxzWmk .bڳ5C ,3S׼ MNWemۃj qQ?Pg3ĦҾGG9ȧ1/f=-^N+[b=1.23 h/FsT%!|v~N$@C,TgQm1h!Ҽ ,0a{X03byC'D:SnOdz)fY5;Q3s16Ʋsj7YYJɧ!(}C>"[ʕ Ȕ0N5xuϾ4 遅;hw]y #@zW25WS^xBiR}nj-Ltbk)xh 䡾Y/ޙ\"<9g׵SFZ"VIG@>U9!-Ĥ1*-Z 3>2n~OImxjN1. =B;/ ̬3F.ɺ)_V ~EnOspV}jfJ}i4ifXR[4QIJPzѳ;0snqӕڷDMO Y2\`wO}E 9X͠]hU5 xT_j1SI ׌LgYZ0adfede09a2017674b960abe1732f6f5afadf61d 193e7a8163a4200ecde300711efb260130e85531 1d81f1b82ea75e74b860b539fcd461ff3618c42f 316f00da7260cc8fa466140eea33c7911486f1df 6581e20a4df9b91396729bfbaa321d012c3b4575 7374b5279956fc20c8ea650a17532c3728143879 a098d43d5bf350c1e7a6e016d7e545222a67159b a1ab8a78cc7815651e935e7bb92ffc44c92f7fdd db406be5725d480c0c14ef4fa9a255861d3c15c3 fd0ba322b6a289a6a38661090d987d9e74479ed27f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 c1fb7eba5c1a3f54ad39e3634f0e5ac8f156c7e3