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 _1 ٛRl[ƔZlD#qkSnɉƫzEss_#LS /^,Ä"Ԅڮ"rBPJrRgNo@!VH ]"Tug02@&;^!Hj\Ll/%>%^ޝWk LL5L_.p@m_\-m׆ !dԽofU j/+2)eh-*6,hV(H TElQz M*F ߣtQ)mG+.yGI# (D^_J<81.-8}0vmH*7bߤԩʅpiml۾B Ƣ=Ů&MhO3:w#u18FmLx|HU3t1L: U/)Cꃦq Ւ݀KgW }}* p7b(lQDH9W5<8@т~V  2K_F.\Ɍe76S+(-y:Ҧ2XQb(?OXB(#Ta`@DՅVXg{&C!yԣb@A+,Hg 8c/͊CB9fkp 4TCJYǒ2jcbu=_^2,_}$#wO+b,TVTU}.Ih)4Oك `A"X{8 T,2=n:^񡸂_6[¥1׺`c+1`M0ojиwi% uΏh W/{6Bvj+:ssgciV".c3ަ,D(a_C$!5iig: 6gYZ7zXZִF! 8]ŗXi%Xd/Q♮fIBSc$p~\栌MYi%K~: I Ț1÷wCGs: H'T aT|;6doR DU͢"w౏Fp*BNZa^u:\2IB帱S +$"}vb~'}3p4(A>GŹ\;w}?cv %Ld/O^\NB?3hrV[2id%9p۪YUTV6֍}],k4&Ev|R'3Bkw% l^ 6m%M¹РHB,}tW-fa%h0hb-Dwe:HdT2i$䤿|(RK 8̪a CE DKa%a/l=BFǢt=C? gD7S\77] *^_kn8 KZFD\u\i>F*LN+_a `\+cxևh]NuT|TRWBrAX"jayMe"<?y>pDCwfocoщ&Z K;IԈ&f,nۮOG wٝ6]A 'LDOƐu"*:b?y'6NL=W vIrshXE|ݢmB+P/:2JK䍤D )ȉ &FieoK'JZ-X2>$yoqKJ-ÿ'!l!aHP918"rռדP94kG fe>K3p"EhGR޸ZoHIBMY@A! fg4+`,S. o)6G%Tl8DCk!${o@Ǝ4m#I9f.䐿mlyjօC1o6;iR's̵wi:짔$%fj;:±0!M=a+7 ͮ$r4g UwGV;e>ύ-o8EPJf O>;;܅