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.165cpu=1.840gc=0.000factor=1.587zXZִF! $i]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐXa3^@gafpݯ m-򖸰yִ'.c=2).!ԛ[fK٥LKOgc nvÞ@0MUuDq*컼 1t{7Bݞa/`)􂃸VV_3Ca)0Iq ʤ˚'6M j*7y Lp:y,.{#L/'SV:$=G %s)kfP"7"`lU|Oi2xųR ~S ·dK7UO6kuD7WOXW2r2§.gYZ1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55cdb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 db46c2d97862fb5dd860308057c1a116323a2f0d ce94baea0e49939f4a933e125ffd39740f348ae170ac399b7e6a14993cadd93bf3b9d6e3ab6124a7 C Koenigsberg_Friendship_Base