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  | % Trie:threads=2elapsed=21.875cpu=24.216gc=0.888factor=1.117zXZִF! )]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h Dn/~Fy;|y?{}Z|Fn,kHL h'@l*Sx]s.O"FR9q12V?B r̈́e)}cl}kΐAC}%z9?<;V-'? rfXL @w8VX34PI 6J&શHWi/ 8a*\~:tz%Fb{{꘰qSw5mӸyXO8?B'Kqͺ,)DSց%L _Xː9yNo:!v06E?E%⭥:  ^y^9ܧDUşz8yxsgB\/DJx&$+8Q"|ō&gZZ{_D"}8gYZ7zXZִF! n~]ŗXi% ]ڏ-rrjO_BI;Hń ږjLx|?w)Yjj th9kTW5m_(Z}k8U<aɺnΚ>ïQ!EV'Cܰ sNNjWRm| .p F01OpXRϖFcaxkb'hċ␸fą]y6{t-S< &QwDKO2F*_㧚uլؤ-$W9g&`(R$VaNbn7`rjHohƉ.7yPF[_PXg!; s5# vSv̄&B%76i ?`AԀ<[j667z1YlXƿx!W ,č[xtJc÷e"1*]&zP$д$Pds{gdw5ۈ& I[Zd)$a*AD'- Ϗ4ESS9Ds2kqґs. @YÐpݬ!Yr#_نOTg`r@E>Lb"vՉ%JpjCz1ZR;"Z*&{CG۴ݫ]CE~RSP՝yyDܻ?TD/v=r*Ӎ8 ߓ#QCwLU|oTq95t4ՖRZ:Ӏeoj1Waؔ'9C`vy ;b);VZ,[KQ01۾(֕P~@4.y-lt 2"ɚ:ipSWzo*SaP_>^B&8͋mo5 L=cB]_Xz^N[{WԮ=Z9) @gYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a09711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef  Trie