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  *Cd, /%]Koenigsberg_Friendship_Base:threads=2elapsed=1.167cpu=1.840gc=0.000factor=1.587zXZִF! k]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐXYedΌ| z)xg(M%}^1Kn)hd,C#>feǷF&pƧ N& )>O5۽V&ԦhE='x-%(;&lrb+MFKBhØ7,Ls͏ v+^#GѱebPb ZG5@@qp`ofiP :)Z6Io>v;\3iaHdIާaeQEIҦOߖ09۫dgYZ7zXZִF! %]ŗXi%qً\*5s#aC%TE֥x1dZa(Uf/U=Vv:9xP\*9#va1\:[ȀΎ(DyA&<VR> q2oJSBy&n[IgۮM(@!z#t߇ڃ sZHG],\`su8>]Yp-C: ܞ4)3>TBHFX s5;2wAR[P a9_'Rcz)><"[.ȇaZʙ~Bj{~*'C}l)@.49cho7h˼v=cHb+1RBKgYZ1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55cc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 bcb5783e181642421429d17d7734ad6bf46734470c14f884a54ad680e63a8f17ba19b662c0790599 C Koenigsberg_Friendship_Base