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 ; 4 mS Special_Function_Bounds:threads=2elapsed=40.209cpu=72.888gc=1.260factor=1.817zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;Nu0Aev`Lm^mm'HO/i9*^Y H%kr2Hr%Q-:W5"J;n ; Special_Function_BoundsEVW ^1> Fx;~ KI=,UOQ Azv}L\ƉY{JU&Y:Oh!kpSkb|?@opGטf k&EG'/~FqŵRԶ/q~jaWGTeI6y³a})S2o?b\Jr[ Z96xẽyM z^\YEmADNJU2s;g Ŧ~?$ap: Vj~Ln9aK\ )qb~o?_Y ޘ&ijAGiUM߾ee;"kMK韼T]q._m39}4tS0L$7Z(%ܪ ޗ a-o0>PFF_+eW{8eV_ޘgdW~r<2-2$RU`ݤ%dZsZEtPH[c{c)12k +]}u>@fJ~NJj}EI"SsN 14S!WDAwW ɋL.A 'W|6_ /]t~Lj5o>ղ$ڇ`dul Du"_GM煯^)爠VHu^a\USڄG*̾, er Xo7j8 yHHUY g"b;G:΁k!V9+a,\a5fZD&{s7 (Xo ?ݣ9S.`a6\6vʩ0J ?׎TwAaŢU^o_,@v~Ud ^g'F^$JgktDbf<. [ɣ^_PNqL۞7jzJ@1ۼ3wX o"2P'(D萟 faKB8l^R޽|=$!] x'EY,w/EBH&~N,!#ducN\^;rt8u٪}T1Qhuio]/wT޶y`TKH^S)5 [>i(f@mHY,cƃ< 6QM^iΗN37Y#.wDM\.p, #?δZ:liDWe#ih'tEwAi3 'T^1z:CzATNc-/ggu/ M\.E5Cn:UƙRThY}lZiztc Qs ( ^MfUdY ܦ/ZrCCW\ |?54 Aomz\W$8εW]nWGY/T}M3ɍ^?ZE;s79?j5&@ ڹRd7αgYZ7zXZִF!  ]ŗXi%DQ,t ܓSFG?S)<@[DCɏ;'_4>n3?£5O?PLh@>/L9c'̓3A5oɍV>G1t} )cYHk,uROJ)E"eJI(M9!s4t.&e,Q.G4V#&GErK, y2?iI_mNs/[.+ےΌIr7#w:ib?-7І\H;8HN3zV^T f'^n(v@id\pa ۨ2HM ?iZd! *ČA((h*iz3/ HY',p?,_,|Y;M8 qK P`N^e*?͓0.K6Aܙ\6;li3$oa$ZqXC2#b39XdNȬ >N%5 /@4k.(y6QZNOLQ V؊\<2Iq'wo}X:ǸZе^B"Xs>gQ`!˭&qYHeӄ^'kg,HRS8zLZ晗 \uu>/,jYV^9̡(@"C&zɶ4{su;{y KPH+0tK`Mz6ťj@y}8J![&knM$f_&uz/+0BLN2xI)C[]E/\ygsAd;AANkWٗ='rkjGc w msJLh3Kb0_Ke|>Ul@/tP(и[Q.J3IP 9IZ1=w9/ᐂgƀ(<BW9A'䜵p^"\2 $#h4bw6+trʽ-#ˣoLnDnkҿ$Z_G@esFr5ԹїqbQ;Ki2Eҁ6[To˂_*ۖb Y};ceMV!3_ze1߶s"9xcJzbmkE9R!`"Sc@^3%B =9?V`\D-h4uJ-"i)gVg^(7})M]BwS'qT(st9x) Fpsɸ2w[{b>ےk8kF 0xu\w72FO\=LleqN϶2ڥi*mEÎIQдO?$hm߸=|V&zb1BF{3nq gvWrZnQɓ^}Ëb@gwܚl'ɱWՌ։|?d0}fY5~b {>vY8=24 k`K+(U; >z>Q)[MrlR~FF+YfTZcvLajnMC~f99Y1mIJ'H#P +d!YI%Q }6.EA,bo$Y9Q UӀՔN?e0hz$=vYx"el⎑,&T̉XDS "Q_r-;1& X?0db 0[8,MOՑ!ΜRkL'HF7A^l+fWZɸɆeg0Qud;Ց{dCn7#EsYYC gYZ2fd232e2817434bf48590eeecc1e7eea9a193128 36ec3d919766f5575ee7f9e49fbfd3924d92ef7c 3c7c24926c5015832091b71f773824ad18d6ad22 6968882a9b8b671a249cb1492c0bbdb0ad92b429 9a40a333da26ce6329a5213b1b992cb89b687787 bb0a799777f761555e86304e137873da7c79c21b bf9e55fa9410e2c8996425fa2579ab84c9aa4014 d2a205ea372a1162240c9f333ffba6dd3b94deff d96748e7ae501033e4ad97e167b625c75055990e7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f eecea3207a1f66fba312a0551df33874fba1429b