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   vCDd /%]Koenigsberg_Friendship_Base:threads=2elapsed=1.166cpu=1.816gc=0.000factor=1.567zXZִF! Z]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐXdy5U!+[3Si(ÔmWwL[>RPw@!K䕶Bﴁ?ōg;/~+Mz/IDN;~FJ9+԰ciP ScS :NG}FZjk m7 fn,-FM|ßċ']t%'Fy9g9a RVX? RLZ[B,g6MwS vGegETw>s!Ϙz$S4^1!jhxX51Roul/[/ߍ  hF']_Ջn#to=WPz*2$khxQr2׻bj gYZ1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55cc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 f1a3fb96fd8e80f60f8088bd6a6b388dd4912e72bec93864714aed61e3da51031b2a9f827a7ec39e C Koenigsberg_Friendship_Base