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 ))T \t 5/ TLA:threads=2elapsed=19.012cpu=33.380gc=1.016factor=1.767zXZִF! ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_x!c\Q??=9Z]?p'5ka`]'lvb`S߉7䊐{): _Nn|iytc HZYd)4sLRwRdCHBq=Hϒij,>|6E*]kq2>}E@Q5M\>' 8i Wgw]>x/z..'I_'4gp !Giq^Zo݊UA AJe ~`yS8̮Ly*)}\Q WZKį?8ıgYZ7zXZִF! i]ŗXi%6uT?#$[k`,öC @GBH_5>LKV5k˃1Fc851՞BG5Τ:42VH&썡-'Xn`0!ɟ Qga4xvF<ĊB0`"u5hi W=/Oh,Q J׳![ZQ(8`,-X"ADE~03ϐtPu9uIF)H(ey]EF/ʷD uZK/ {߷.8-GyզR*-6,;*Mj+ʀKC4?<%]"O}!0t\aZ]G&oкBB=YkPgE*GPU7i[ *EW%wOsm,x壱%3W9b"i%Աb 0FWrpr̵ePO@B럖$XU" )DA gYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadade4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d  TLA