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  p5, ]/ ArrowImpossibilityGS:threads=2elapsed=5.074cpu=9.836gc=0.488factor=1.947zXZִF! ]ŗXf1-q恈͐7ӺV l7L!hGfӯOƥ{N :IKB'1%>+4?$=_HRu5\NJlUb`4/8@0lDSq'K?\<\@k~)poݪ)\f(_ꌸ0K%UplXyWq2} \L 5MJBqS"D% ognOq! ߳REd gYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V5l1.J~;HgS^M贩+xGN_ JԀg.a|? _Cq_7O3֨#bx8 -G/wxj{3(&'gYZ7zXZִF! ]ŗXi%9#qz iFfZXi"C%LYi٘QbYb1*X8Jߑ;. 8ո r]#~IGi j157Y{e9<?w78;lx8gvNE"YH,h?:`!(0e'}~ ϝ:L_[l;wVßf79ɏ{k$FA C`_:wnm' Թk$qۗI()ۛOC 2Ji,+öY1wZYj{bkǑUq'3{0~ӹXԢş d|!3OOTmg38NR%~n"Ƽi\BA@.[4ZG(7LKm>-Bĕ0HOW Ħyd,Dm:mo5_F[~'#vYp!\b;Mlxjy\Iq8A14J%Zz_Ei Sj'}m,q8(E u1rġ ' W 6B51>+5J']Pn$Kkv