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 R!\t, ]]Launchbury:threads=2elapsed=80.459cpu=157.088gc=9.688factor=1.957zXZִF! I^h]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@w}b߃ţjLIDx4KSj롶؃ -lZ[f21',R4GE}<_2 ztElDfZPiToD>bzJ䒋#3n)Q 5лvY{@E'wn]>Nr/;L)>e6SPG+1@] k[JCkp=L%/ݱܩt)ZN)e>繠BZ`i5@#u^  ! Launchburyl".Ρ; P*\iary?Pj_?PZRkΡr*ВWiSA'ñͺ7՜<#|沀g+bq{7cͦ^SӠ.R8pRNQr9inS[}vυ-V(U|ao;'ǏX>[-25H+ PGQ=K0+鿣)浻bǃqp^$O&X;hmw5Zy[ƼrD^B/j>W*N!7A)"L`/͵tr4dΫVZ N(ZYZڄs‰J1|-;}y՜ zщ_ q]xus @ T0ypB9em7@(ֈ$f/Hb}͈##(g &g9V;մ~cP6Wf;9RY xUA<*f^~|gP5_flqVk -Yo? .bc~Qx+ 02`}y5\-6Nuŗ紂;oi"")|UD P4tdh1hC@ΈR#VRϡtGvFxuP҅u*Y~5hgN`XG ey|ȷ:nvlߒ1OgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W(v5slNVYMNM1; $ 8T׹Jk޹nLL^Jf H. E>o~_9$|#h&8SGKio-|z$!|-hg[r]G&: jw]s 9ȥT8RτM{54`I@JbܢRq SQOyDUҌ)z(LW\bgF{맷KzS8ɀ<]ǨXQHc]׎ g' SK8 6£r<hTYR7i0) ?fYl75F-ԫTM931z2n, EL`v=R]e-f@dpƟ~΁m' ׬d` w rtqiEqT9fMx6m ѦTl/Wm#=Oȷ/ڕQ+;Xb 5_ijF/]փ#2]RhgՋ~y*I<[50`.D+$N]u.2$G&$!a-gYZ7zXZִF! JO]ŗXi%9(PύmQBX|\I  +DZf4n`9DD<:!E0vhΓ13Kc~KoE~n.KW/aZÕʣ"Yk߯DaNHj܉kvv8M'3_hepپh}NbFو> RA'VlWpD,%?3imp`<|S5q-CʽLָ6D֐ɾ$gM*ơ7"(-d5QICm L!c;HHmՉJ- !șF(E)G~QVϤv `!C.2ޖS " SzHS3q%mvpڷ]".U",)H 2o$q%dFFY[{/΄"GH.ړ*H`q![ 2k"V&o)>޻ڹ)0ѥk3}M <4򞍫 ʣ r * f{ 7"CB߄$×7@=pso,+sn>pKR3i%tjBƹFȟCo(JIH>,T  u7tye"/jI%'\]1ZFid,XDf[\xl 2}f9%[nC׶Hc2J~&VLs3l2&lVMq}C8XBO&ʿlCC|4WєR48)ti XbpU|5h ecE(g ʄ::"ƀIϦ}3{MD=3jεYCkrj!%Ьd5}C8qØ$TM9H|c)V&45 =[;T4 yca-dHfdm?ϑ'.3XWn>]Oۨp_\a_k&02uU=Kmv6@ګˋyk6^W۠Y,ByM][8%ɒH"&aJ^Ŀ=Q-+8ni;M"=D}USA?Q"Z$G+)+z(u`94 ;bҏ6S¢jMTp-?N@"#8'r Gk~)h=q.L]/](vTv"%`M" 甆KD##Ќv&Q!38Ah,F]4pbVkF@UGRYcXڥCOWzиZM}hWu&۲ Bۇ(ucrE>JL6֩aoRPjVPn1J]vYx`qzy:ԂS-S3&02n.: #Z~{G뉞>S9Sڸ&D4]vԯGT65.f%Q,%9t\r-jt97PL$bWKMF?ӊ=<q,]3)cS)(̅M#O޶B+?lyb\!Lť _ fE ^7{GC3]NT&1j!5κ c%zay, MmF n,i(/ᘰrcчn# Lhe&ӫ ^ѩN8S dW/guhT45Y'28oBҐs;euVeL21xU, l6A@TO]SK-{1noh -\/h9_@JCUQVC}m\ T!͕$ٌ}4> AQ_ ex(=-ki*İ<ٳAƀϳx ]m 5>pTr"!"+O zk"ul$vJ mÏi\h9 &٤Yp4|H?3ӳu Bg5$}!륙I<6,ߋZu cmZAS ʰUlWI쌆yU נ? vWlHD͌U9Aiqm<S+D';-̓G2+݃7S!|LH5?7G/IamNvg`.>?-}6Ɖ gaB,k9@8u~gٙWQ_Y_u8n뼌˿Έ, 0qWNS/AmPpoÁ+uvٞż}mnM0 ș:QjMK{O8W3`bxxۚ2Kz4J`BM_jI؞AF-IZϴY tc:A ~Y?XQrͪ,p. U|k#?Aܕ*IӞXWwh6NEDMKj #LՊRDwp ֤pS54AvIaPs,ǁ7Sҍ7E\RLC|?MpNBsn-("1)|0Te"=!)I4>NV6e]~Kf-` ̮fB{K<ґJ_0/¬1f9..r5Ȗ:h ݙz52TUػA{p $0q~}GAO$'xi|  >e0}j7׊6箪Z`Z(sDR~Q&g,9