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 x L\ U%]CAVA_Base:threads=2elapsed=7.211cpu=14.348gc=0.728factor=1.997zXZִF! j]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`*&+nЯPh6i4\.Wr16IlS+s:x/(N~N/4|CSO O3}{P Tcv27}=,M_~ZbϗB@EP>v ݟ!;;t K Tm5XNQW d-i7iC9ʿ:z=k%ܖ{ I4Z|D b&hʈ7H~a[(ވ/)exȡ%^SGƪ#^$0fh٩q,nq(aqXά*{ٞ;k|v 7aME fBu^4qVgYZ7zXZִF! ##]ŗXi%6uOPدߤ(̇;E_FX.j$`r; yW"QE}^Wj_o|,0L8UڥZR)ts=Ө;6'%9Y,W Cu?XH+@phwy$x4LŲ%UbUtSh"InF_rk/}&-S;?ؠ ]9j wO9[<QjMh>|Sk׋] 5e'_C0) $< 'r"[)Ytq}/?ŃO~XI3<. K"닌i_p^0%*5hx.y-؛e"\-ޛ%JlJp'VS伀|F /gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 3bd86d4a77dd2f24530c786d48f7a34077e6cba9 4afb63e9a21ad53c0dce05e230d015d4d7950e60 4eaf1230a89d585c4d7f9596fc74c89f32c8d0b0 57299f33706b44e9c7e9298534a7d4ec60b8eec7 62db7c2f912509ab5e52563a32412f6c53622264 68be1460d04e6938d49a7aab62fa13260930fe01 75337786a27301aaf8b23420f4c6e86d9bc9507a 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8956b2c9d0de76081369c8b4b5984c487240bf98 8afb01278dab47167d3e01024ed7736ba51bcf10 937cbea645e12c0c0a7a0c59fe4ed2f92ddf1e7e 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b52f2e135dfc6ce814d38649c202d1a2809071c1 c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 d984bd91b3c24af3b069d46db03ceeff6cf25e56 da37d5c1598da8844b1cc6fe3747cf4cf14ff1e3 daa5e0248528bca893daa43713bf4e7fcdba0c72 de04e7c593cd33aa2cdbc0c0a4aafd8e8d0cf951 ee108c3edc921d39e73c66ad59d46e424a875406 f0fce7eeae1ffa41a6f0691e21062958b47031cc f45b36bdb356918bc7a9d10801d4d2ba525b1138e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 76bbddc77a386aeab17d605c97f5b2549e5a7e42 14dec19a4fbebc3556e2960da585152f9fa69c2e 7b429c544cd316ad7d6e9bc5224e03397e6a58bbbb2d79fa830920966cf0538eb209c1961db5a64b   CAVA_Base