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  ~CTd /%]Koenigsberg_Friendship_Base:threads=2elapsed=1.110cpu=1.792gc=0.000factor=1.617zXZִF! $d]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐX+͒LQ_ܿ5#c^MJGKtɶH:,¸)~ˮ(D(νA=$Ov/q^`b# +(3vy{UZF_`ͰqI>iPzȬR+TN~ƆC OCYn*z[}Tc|ƾ3'OaV 0(C"O@n }^pâ~HIBfi6mydQEk}4Ji MpVw";̴9` $XIE%0:RFa*gYZ7zXZִF! l]ŗXi% żY| 0ڎ3]6oӜ[0ܜiB3U.&K&sz ?L>Q߫%Jx5t֗d/W{$zl>o%VJ6bd![F5t4gWPew@cuO&+ch5p_juU$^0x'N/iO^>gP9yO碬K^$V$ zL70[mQ)4levςsT@i%):LJ19͙w-f5شxsXh)3gNʰV}Nmנ~hܾ AeEgYZ1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 5dc9c9c9b91b5b8181f840ae75d6b8cb1bf8a447effd48a87ef0e4c7c91ab2888a239d14e44954df C Koenigsberg_Friendship_Base