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 55H' \dm(5>!}X1lp 2v[\N˯7I3IsP\̅* `,>SP֧hģywZLwM؁5Fh;#(*j;t^&Xggɕ i',^ףMUQ!ujRqS<,k_zqLZQD~4xjJ[(uY<DG' QpjkPDf)h2Zi5GH`r=Gy>i~r7 (XupeS"y81wZk `9Jn`26PU57Ʃ;^R0whr-';pgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w *ZktOM\g#(!9 "pϕ[$uωIH݉ 4rnzVA{Ol! dW1ľfp *)"sԎo Ch[XG;gYZ7zXZִF! nx]ŗXi%9#qq'/ X 26 Ne ͽGHbWjڹďX!F5)zRE5N A;T*fE̱D ~?YdknjPY2CGT *kXl*ciT. ,_Ǐ)(*#w^Tr*"Vem!f.NkǂO#T}+)WnPO?[~ԏ߅Ҩbr+r3P$GwV7& 2m2]Tm__?1k.6?{xn'Glz[sd6!+"^cp*w7M]tFvfu\v׫au;$;9=/؛Ei]ɡ >3?>@/޾Ƃ5Ɋ %_8\sh˸Uc%H4ڢ )i]< ոzMNMkiv 8p9CO+RՋvB=/:́Ks}+V&2wGgࡿ&Sf{ eЏ)<9ޭۚ^ MQy(CC=KYh 7}nX?isKX4J.c"FGq~}[5AoAiz)j~7g <O Z细o sL}!3X=G8-P;zq+(Xϳ %i4l*#N1nO3`ָb4)ˣ O']]HҮLP^Ioȥ*m-U?o"las+&_^$s{ m!;0mIK@,#(B2IPJ#]!{ %Zctxív*-GIٳRp/>T'eVS#]fNbk49}pTQQnabVn}HRp79F,m"}vS_y:"u &wp1w] ݫsnT3|m 'Ge*}!zkeFu rK?Va({++m)H~T((-;Y݈9IH:g4QΈw\1j*lL