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 0 $d 5/ TLA:threads=2elapsed=18.997cpu=33.444gc=0.888factor=1.767zXZִF! k ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍ_xj]z62ge#|)˺wU‚d1GB(WF4d-OJ)ғ:1 b۞WsDhr0Gb&Tj !!c D>u^T2/Kg l0G$JϑosC$F] $! 2$XjEͰŀ4T*C @l&'vr 7sMQhe1̖BQyoe!zh0 Q,gxǏXPH^`Ŧjfd] @B,RfOGMϡWOV#58Ȇvߧ1Kĺ ` ]]hǼQ0=PCr+&{e1a@4taIlA6m Q\cb9L한.m1|*n\9\4`k~p̵􃖼12Vx U J۱gYZ7zXZִF! l2]ŗXi%6\J;VLZdr;d4e/]au[>jl}siQTxX NrIޜG? tJbV/Q KOl; +*FE&ax j/>GsƠ4V!ų͖r'URhL~[ 'w }&@3U_4<\}F]/KkG_YI(:oVԂ)<\]\ jKoy T<'h1,4@|pB*",3Ɲà\oHOPm1t3߉W\nZUoþ; |~"NUvЫ^%g98x伀un' ,+8VW c*]}Hn &wԭJXoȻ[]V?zDžFf^aTDJ? *ka̧,Paj*W܉MEa<"暏’|Pǯև8)(0KGhwpb׃N,Mbso[\?٠քZ_*b{&b2ʻ yM/7gі0v\t '[^LN ,T-ԐFRkʺ N P |נ>O¤-Y`LɹCgV0z;/J!VC4an &^#V Ք+/k>܆&"";{+m G}qDt$۷cߢ;.=I]·nsYPJqwA2j\J$XlTsFG..>eN/UvRXB;b3@NߚH'xq) Q./k7jM{W}Qv}Tn:x7fS9nIq"ҔL>8SQ #p<3o><"!1C|)ڇƯw1\E_yCb^d[ ĚpW<=M3B67ɱ5CDФf7I̴((:AA\X5|XV3~^EJkPb i^$leoOINn:̳C V 5460hGxSZш;ӡב*:ۖJ#vㅀZluԩxȍo _aN6"ǣLάܕ'ظc @/ѭt0'gj3\ΪYMS[ X؃D,%u;(Ԫ_Ͳ4EHD??tw{hB wyT߭L*m!?):m>;[uB^ C_(@}ed;)F1Z/^A++,خERJc agYZ1e7ba31c4dc05ddbbb631641d25d4f7cf03f1208 2c9f3be82ff5c63b1f16e21033bd1c4b35f466d2 2f7db77401291eccdc656ef2c1fec0f69869f556 4e0062e104a384dd4467d8375f51f17480533025 58120e6125904a581bef89f8e22afef8d50fc5f7 5f9f91dacb8bf052a3145f88262436d948673e8b 6ccca4b194d7c460c7d20d1bdf0184a758f42647 73f4a222f3b5e5b700f4c91e0ff942e0128596e5 8894e971a51764ea9e0de082a632d1c2af7ac9fb 8d0f9d4bc5410bdfe98eaa74450a4797e3b6da77 92bde48f7def0bd869468078008e71584dc7b705 b409a65573aa1439ddf08a9a817137e0855dd356 cf9f5c4c2ae546d3cd77524b4d6938ace41dadad238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c  TLA