SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _ |l +/ Separata:threads=2elapsed=22.150cpu=42.656gc=1.488factor=1.937zXZִF!    Separataw]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIȕspvBcXW0WVp?ovrRB'Y;Lwsb6'Y_e:ppA!p(4LLX\E9T dɇCzxI:qi f#Ȭ+WT@}AWfVӕJ_pWԉ)t)Pi^~ކ z,R {YhC7`ET7nY0s(D:)<{UJ>|+Agw !ںАM Z +}\ BoR?+AK%(I3"U9[Cؓ*a:/ϜW|˼Mx6{q,G66hh5A Z̴<`9, +tYg@ز=+dt]ڒUF_).d Sk iԁK]pj cRket3.ް֗ڵFF|a{C&#oo؜U+|^ k Ƨq @jj?3H,v&Ghlf̲`W%vL%oǥڛf\h6ݟ(e(KH(L@t*# jY]:h<!R3 xMN/5=a ӖK^bϔI>V旀"L-KS2ͼ.٠ŅB X6I#p:s.q=s {Vn don }*CPb(4|8S.#Y7Bi2+a}R3 J9$t*w2VOed}Q6+{jvQfpr˷*k+:VcH| 8>,ht/JDOc!aȤLQAۉL967iQ.څHl-Ki︭aވ =_TRN2<0!]5AN8Su[88j0`j?)m^o{Zl>"Ֆ#?'aUgeL6Z⏂>,XCvF9G1O MhP$_/П-t霢AF_wD6CJ ;. ;Cxa%LSw:G`=n< Ifן 'JPԤ5;0^<~5{Z`Ҏ뙂IIl/=eB#2U&"@# %*+ތ ͢ apBaj 1/֭^dT?5|R$َl \s?H'p۸[tPb縖9P||颾 [Giѵ{ & w?o<Ԗ̭xI&ӿTt3"[P!-͐^Y57y~KE&O!SĖͿ"H@MjVa>Ai3Gih Ŷy>zvySh*&dp5w -U/E LI ̀48.op&!&:kh떒fD#,̖a[ν >ٲ:3"xɂ=Fk5)*gD E< ѻoc o~?@ǐ+@Tg#ޮ/N#j~'Ư2>q ^*tlᎷ%}Q]ZIJw1bɕ.CA8*4*{Cu}_Og<== =6CF>9Bv>=(2 nBQ7 @T{ ;G7#q(XQNy}%N7Bu IHg6k8q޶Xݿ}]{7N29T,ڗ&J:Lڈ`er9^3"S+0 zs2뙩T |⼚BLC&k{M)1cnʒl<)vGyhUf/x'6 uk(`qlYnfvX׏Z׃fXnҴxPq8*$f$&\S_Re4vܝ 7GOb6jYMVf*bƬ?j Q)CJSЋC7PhU`|iR\uy}Hb'v./,²ok\h`?5(jnzMNOxm-C~8&@Jc>x(s s^k@lI?:"$m;zW.fîySَHɱNQ1l?ad*4Ϡ1d Zb0CA&u{oN|8xo6z;?\b"Sh|‰Mm=t8] 0 I,AYrۑTu5`0;+|{V'{%Uw}8S,x-<VA1;wQ%^׶୕ <'G@4f'^rm;`U<_ J(Nz-JcTy@Ȕ'RT6-3ߧ}.l2{4Ƶ TgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 1bc701f8eb6474e542db12a6b783a92904024b2b 34221437a109a5594ba7786476b5abb5979a2647 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 828b2f45fab41bc922ae1796a747407cf34acd26 82fce86746f9061205d625fb926c1da3b71e3bc1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d9 d590558ac27bd56791168a8179e1e46d592628cd ea2803e6ad062cad8ab0bf6f40be7356c48a14ad878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457