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 # td ! Shivers-CFA:threads=2elapsed=30.080cpu=58.464gc=2.680factor=1.947zXZִF! c]ŗXf1-/6vR[]u Eߑ>LU|BV/ID8n`ߙI/L 4vԄhhP$z%s ӟtpcՇ9xM-+.r k3 M-? /EL:32< YfۙdIy`&v[}VtXys& ~{Xrją]> 2ZՊaWMn:|738t9y"4"_3?9X`{ b=#Z`nakfz螟f4-1Gr넩me C_L}PthίhP*?K]$F9^m*I (ۋ] IKie f?:}X֜M p'(@!^Z4.ʂeO=weH' "@!_ bC+T=le⚔Hd-B|QӺ.jmQ,*ML'oAwXZg*&X$,d+״⏬nCgKշ 6fz'a9>LjY*̇gYZ7zXZִF! i]ŗXi%}4BױF8zX) 3i"ҘgieEq巐fZw՝ >V9Ev&ɝ*Q(^?2=,-l#_XIRP PxO*TpjEq ISDBXр7V9K8Čk1nilw= rd~Kjzj&x~Md~K3=э$vwL.L}پAD  fn4hs0Ѥ"m4rV C3ť%͊0q}>./ã=m, 𓯷Wsڲ]سSR{'t[zTQJ:j0r .k0b x;,hn^>nDKlǙ]xzJ{#q|u6Gb.j8pH\.O.*j*d0fHΣuQ(UOn9n b&Ws{NH\{HnxXx򒱼 } g.|HJӒn!ԓ3:Q <|{5Ƴ`&U;F}XΎ'jje#/l0DUPw/MuA\9{W F~Pޞ4Qag^A@Y nsȊw3skJ@)+}=IBߛ̴#ʲx\C%{W-/? OQ;Yls#?ZK'D/$r=2[y+)Shr6g[tzeDp.aw)FT B[ gB6%|P q0\paŌ;!-`WhR 6<7FXs'[A6L; |' ?u~zɜ,+;%}wxuBGQȺLpK»$ TfT`PʠhTLJHۚمF/O|)Vn2Vb'\FJ-Z$OZ?.*nRٰ MjU"2/X }t:NƋ'