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  F+ , %% Cayley_Hamilton:threads=2elapsed=6.434cpu=10.252gc=0.280factor=1.597zXZִF! ]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KK^U3%nH0㜲a8P*逿tX!uP0ü*(9h3ff/aEvK}𹓩!6 59apC8ˋG~3zgYZ7zXZִF! ']ŗXi%6y?~*:~7^cs5F:@r+Az%5ՔYwfz: f|~uU-+oWf\{gWFWe3(+P]߳~J P'qJ uj[= Ұ6- [ݧG$duz.py|[syfƒ'bTNb"W7͉㌞Lnc'NoF=v[%uO6N>ylr`6uz|%ܕyUsj"E֪W^5ḯ|L,s&ytk'Bv 2`{u>ҭV*4/2Zt/TDQ"h UhɨHFuТ[v*Zgo|Y(&\a59,8`r[c֢uBJ>o*z9xWvϢSb~U3UpDd 4SH'{6$6vW%&vH2'fFnK\8_QYzw~4B?{Ly|RZnH{% =q=] @Q!3]:+14iA>+Lnb:e_Pus9-.e{JV ʂ>q7V3yOrgYZ22fc1df7b0328cb6e1b9202059a94991ce5dcb4c 43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb a98987bd489b9d3b7079fd786d3f0120b64ca201 e141559798a321b3a55e0f57d39fd9623bead1da238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 + Cayley_Hamilton