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 : t\T ]/]Nominal2:threads=2elapsed=34.963cpu=68.272gc=3.348factor=1.957zXZִF! $]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[4vb*/ _A3Ȏ?x9:(FMV#)N+ KԋY`̸%iO!j]MbXK=4;v>c+xjQݨt|wc #4wbMMwrٿqр-x Kc&~T3K%+&A*DnU z885<\:vSC"¼~uz"KQ cz9bs   Nominal2a ӥ j=@lD$ѓWRVI,mRX"߀JD!5 ?~IҞ8aVN*~v ѻ@}?a3˄S5UO4!uw=Hy4jrğ?loT͝'Ccb[б\"1c{~9gVm>S(0etDMȓO9&*8 e7׏W7 =y@fuЖ>;n]8__BћrY;EwBeմW 2Y(,VVڃiD:-ABDlwr(%uwA ^B0]9 Ԛ"~̉uw-4fpN)\6U\9dnݔq{LcQX mx Di0@6 Odn]^Mo2;I) {^T'_2^!69! L􂸍Ɣ`{fp?Y-NɛMs?򾬗#DSs4U =f"uvp[6<+ 7q³Eʌ"|_̤T% [?TB,vIz|>wP~#ѧ>d KL<# ;!uV|V`q"LA,0}]'lscX·2bQl/ !(:K[e_B'sUq"SO3LL3\>2!f幽ծp Wj<қ{ (`e!Dv܂t I!gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14Q["1Z)(Gvjf6$x\q@K,S> TmYN74eicDܕ7|10偓Dښ%$nIQ>`E %maw$RBPb TFZ(_,@ߵAȀtxK?X L3Rp1!in.f٣64MncW:ݧ_.b XҼGFT@&*ҙQZ@oO~pNJbL q[iEHܤq[Dw^Y'c CsȩLM oKbLt[}W DJ(Ƌ&P dqĐZf"[".cη$ kxgYZ7zXZִF! & $]ŗXi%rvT:>Lt]QYr|y`w5$[`S/{P|]%px Wr= nj\nhQ}MBƒPza)0vE*M|FEZ|jz*HTz@Udcq3FQHGks7{n='9|Uhiv;06j.6xg-=z~#}[ٯfl865S,;^\G BQV9 k@WȰJ~RiK X Lcc.3'dM`Oka6JѭSrʨ2 \A{OE&ɦ;pެ"ި"3 ]\yt cu|)匾~[i:}}yPw;,yy {v!YTyF`"Dրwh &+RgL`Mn)ilgq  IҥyC~[K7oQz1qy3}!;b ]|˺~@އ 1H η `RljSPQrMݚeb34 _52|zgGGת J=è^yc-Yznd-rTklh`ze&["c3͘)ruIƲ$8lNbG 64'lGr;ű.h6qQ]x2T<8>uffX!>ocd7곍΄"s`b\/j8h-83^uMy|_bCΨ^jKQE3@Z1xeۥT5&WL/# c"%#(sz5tO .ALD1sRYwz[߿,bށsЗ8CZs&z+sCX%yzXſj:,J<>QHk@U,4B(];iFbqo(-٣ݣd+ '`kɺŔև+]҉Vo@%Pb =5YSZ|X`1:C "P[|7UM &ᜏ8wrH|[N)yu7* vfes x^ƌ"KZ ?=!z vR5S 05il!zVnȯrQaAlBJ^v ؖ@كR3UBuvKNw.ލf*|.1a.EqVֲ2t5?,jn.21lL|T?\s"9Wx?c=,<>{@5*g|iw**4XՙG-9;F@c;g[m'{8$ަ"mn"ڙv;[~rcV4N?s='=Zu2\Y'}ӡU"P\sy >}$5u)r[28/cJs}#^->?M iY/OVh'h>0KSol$^Vp"qֈ6>({3p &k1d= c8f9y 떌'A2Sq(E rKB`|/qCK]Lݨ~@tDy'ztɏ/8574/((M9cK0Ie@n~vxx{UI^p?GFWtV{O>@wF@BMRu'3q@Z$؁)k7"RyB^ugɱR6vpYQ2 :  nOHX;$1Cai,B;rY7d!9vP2<ZM 5F@0=3vY(5t72ɀ^qҞT蝠in%؟v;k1K/k C+13e>ӟgYZ2bf9edbfff005902a2a76d24bd7b660fc1265e42d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e7c8e03e734f3a586c7dc9e57a6984d3b7638cfa3