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  e= D ] Tail_Recursive_Functions:threads=2elapsed=4.883cpu=8.340gc=0.500factor=1.717zXZִF! >]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 WњK<ô2ϒ(~{GC}59@琚-G`KLBN]= X=vݞ3 2 ))f ##ƴCz"k|P7{;+q_kC*LHx"kU@qn ֋>E5@91ʦ8٫0q2}* cs23HO S(_俼5F݉xA1BgYZ7zXZִF! }]ŗXiɟMy rr+E6IIkhzB&Qa2yb 3O\uJ4̡Zr)ƻ04YHYcEy8z`!iw[$#bd%[ {R'AO㥱gYZ7zXZִF! %G]ŗXi%;:džD]+Oh̀ЛCa%vyL}y|bRTg8< sa9tYhl`SP%q?I)AڳU-80(,Y] uc]dOj Q52ͼ`cG]Ti{yCYqɁ{[TMUh>ˮeevw?_E m<@'Ar[n2܉7T#39ce!߯y 95Snc&lhh|`Ҧ*uý9GVEN`vywh7GG @dMmfv&Z󞵪9X@dUS֕[ *'R9@Y1ML`@ha:Wmard#h}Y_aWI7YVոc-miHlZ_`+2GϑXÕ_U[ot->͜GE po;T,E'Y]KGS1}'"u