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 1 |d< ]%]CAVA_Base:threads=2elapsed=8.248cpu=15.720gc=0.896factor=1.917zXZִF! <6]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=nTř'e̱oV2+;ߩy16/ZUyv?\+dKP T1ڋMXg5~Y@ )Q FF,]k\G=|vR+R6.Ps'`f4gzbL>7;(&mCyx hlCV`= Mr D8 /z.^~ [kE·+Jf "m`S!2.D_@WPra֯3N1%cT wzH޺45v-v>2Gұ!EC<9E2H+J _v":#pW} U)džyHn/ ,uf1Y I8omө- @]^|t*gl5(ɜnk0ikG&Â+bir'Kz)`קݜpgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2I= l~+V[V0-j`BJI bgAZܠC"a%3A)ʺ>}՗%Psx &_>̢:`+żZ8>9'PX*+nu_*ſCgʜ0K+Ye-id{qcnO|@-.$ 0@JƢClj&9fQGmG'f,J]Q1N\҇9<8q1w4f'|& ;(Ժsޱ\E'yFbRЫB6IQ\r_Dx)NBpy]||p#c@偂zC9楁 XrHu -gYZ7zXZִF! %{]ŗXi%;21 O\dpaoAJI8~Y󿇈) 6tAtF[Z%Oi-i"?EfZz*vS;oWz<(9{Jʭ(sE45Wt]ENaU@##Ånb9gSy dq*4 ZmYʬRm-ih"d% ży3ЁYm*Oi2j^@\Viia'`OxBMH>W^֮ ν`?%CBiN>g-p;j:3e5D