SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ~  D ]S IOA:threads=6elapsed=7.506cpu=29.700gc=1.216factor=3.967zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=.nTwSbz竌LqTSh }(kEV.asSj|ɛ_ݾ A}dpG/5혿83^ LǥVìN4٬o)\l$pLy9hI,v}ql}c=yf w3PXÍzxZu[E/ta,^—l?y+ #9<-0!Hw,k"֢фH`ܒE-;!$@ޣ߉~p`A(<<,,zHEV@_Ե2چVqLIR}L T4"2~"j Iö0{PgYZ7zXZִF! `~]ŗXiɟdN'LvH۹)S x~¹$ARfWv!m "Q0V:mx=H$.10 [s˥#]<`i[S ]A>v eO-R$7jޓ1,~jc|dWYno8tSN<(:u%Owb>')KJ,w`huU*L47Eԣb*"8]_b708{tN-T}䈒TtKRAg4/[kGEղvtAܡT8Nuc |ߘ X `'= #qeUkKaox =1= YFH{;qT?P[_I 4&v[v0-E\Z\k: hG36 ЃO^[aՄ(a 6Sਠ'2x8)I| zYs&y%XO0 [F-/vw 6[.Z)s6XRL{L8R`H܄nEAۗA?\.x"2jFhz0ag@L0o)ɯ(LL2H 9pDZP.p~jȯ`l%n f_ %~-떸C<Nb%N ӛ+V A':>7x5 cMgG)R?+α$ N!qKK 8!Iٛ{3ua@sj4LzlWs[+xT ηQ'C=Z_, Fj޶JHծ]s~Єݞ4 CfsZO G ZjԮ d֞̍+=F*`Бd3˞ՀU톹y9Y׭C:BQjQLƙK^;EQrKyRgYZ0eb90e1380bf0ed64e82836c3720a272ed206c1d3427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 01775cb06c0d566864bd85c950cad983b9d435a1  IOA