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 + DL m/ SenSocialChoice:threads=2elapsed=22.919cpu=38.904gc=1.028factor=1.707zXZִF! #]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5HooclcH) IV׬7װ~i'H<_HN4]>Bf | [Tɷeze[5sǒ?y-p)?^Lj/^hkJ0̏wՃD#>^)S̨94C=[pnYɐ]> !Ih>Jmz0Ps! c >"0 T,)TCh~бƕ"/.b!#$G#R4C! H,KtOqX@OKq{3biYlԸ`+,R؝^_'<' pBۮ` anL,moJ80^Q:,!8^ n:vՕ8Ӻ ].֔5fPݚ!fxǜR\uQ9E1C⏽֨OuzYCGTpz![pKX7{ KXu?)$Qe&X]8lNf5x-m#@+F&?q3Qbs"pI8!Mu9=}$Ќ>ib"^AW6\hw.jЄZp6.йex.xR9"eA[ReI%J / Gb)i3`Cձ!j{\'“_ \0$/;,eٮXew`JY&獆?yDjL`f>A ? MTxȨ#lG,]LH!FVWKX®NBmżeL&)KݷcWRV~JUf>[LjJ bhZtJNbw%ؤvuv6׵W dKG[I@D"6'O-O K-j\=-mT.W, ->LY8#Ke@:BoZ6W jӛ[y4ScC