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 n ,l / Heard_Of:threads=2elapsed=36.809cpu=68.928gc=2.436factor=1.877zXZִF! P]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SQ D)(;[bkޣ6]6_uOW|9s^jᩦi9S);h{5j-;s#-*W0s i,0|ey ~Bd?䀄*\kBRN2Z6I}x@K}4uNuD=Xxc6yxVYT&)I,BJ!`w͵ \1[poTbҡ\C[*ǀl.XȀTl"RiP"J&'4adW@6f5XFsh9AA'\E+b20ށ`$wNAZN+Y(s 뵀>SǢݙOti Zw`{ WI6M<䜹vRh99ACLI>rsXR'Վ퉣j b;{lվ b պΐB9seQU>3r馕WQhP6.șj}vQBʇBmX*ˇk:]9kަ7^Jئf{?eS>B$ gʕlVd O[[%[Ħ8NVA$w_o!UL?3MgaTq%^ Htb_tRs&#{ꚨ@ }Ҏ']E[ƫ91JE9g*lFŎ96@wCߟ:|+ߘ?ӕ/Nب .J*V*AlKHD ChdMt{jIDqq]]{1eqkY oDkC9 /Z&4Y殸huCxloG{'-HȓRVs,?E^4dl?XB Z?*+M)w}[=*,g?y:{M5ugU |啒zdPF(>8YupEqq Q`!^DgLrΰy-\7Ydby}7~IKNA!c 2+'!5e^`#Gr:_ȟ##rF25,AV}S_WgRXobӍmq -5„|uHǂB孾j ʼg|W?b]xm<]gt/-hɾVn ͣ721%d5kb`e3H\BsilK A.*Y|O&/JW+e$|u#--h¹n>sqn۸OܟwrXXylf!`{9:6`)&{ H[dzN`O~4Vy5 Cg xrL}b K~\ey0QP:5A_t\ҢZ:|cooG!t.vQ{E2b4z5TWa wT{͇ݙ[53Dwo.Awu> |1H?YQ1K?-Q.KJm@c$ $ NZOi gied`ՍxwTX{fD%ꢮMީ~ø$J`n\TAԁT߬lԇ,cFϛ"ҝN_y]lCvnsISi\(FGABHP Cd^ ѩ:X`tg`}~9TqQ͙SS%hML)L$rh&P$ea׾h+(cNQYdcJk07Kz M  6Dzw?c9[d%*@ry)ګ 08CV2BwK︖' q uJ"N$VRYYY8z9F Ϝ>n< rtr*R6T<9]~x /ud_8nȲI ƭ <Y_uSi*uDF ȓv3 7chQ(q'y%]1u,L(ίӷ<4QKW4DO,c? YgW4S.tCzHtTEz :5P`a$o\JJյ NUJ'D=C`4hc=cJٞ@6hqݪ_ `VLjxYFEýAJ{H97L ( †F-LZ>& 7Ex*Wu7Q~.*L=los_*}dNIwCwye%˱-#[iMXl{(6Ī1em:QHXp*J/Vf"`!^{pЌ¿J•.(F1NzJVҖP+ĂwEy BK>CߏDT`&/ж^b{1b{&@=AUu@8fQ@}I%-JZCBd&c]n>JZ)J~6q#~QDY4D"nOD$Ep=gYZ7zXZִF! p]ŗXi% >=uw8PQ 8vިy~i]!~]NNK/겦Up[|/{Hn-( $fPx'j1q{O;Cfgw9eMo jZ76f PxcNؕ^›:3"+HcACNktNamS`)& ! ṘtlP+^Ѵe`Q#JF1 tGft;/Q!c^V'0(~&3мÜF>{:p.b);dyMęIؼ )>|5^!_:$Ϙewe~)2ZQ/hf&&k a3ߍֶ<|Q@),Kz(֯ =5FfHt=J6^QyGZ,#N <þi2:Ng`G*9ć.7>Z O3C+C*JfNaZOȠ(ZނeŚǔSd ItM˽BcHuó9Yi|i%:nE1ᾃS|մ*#]߳IU/萍2Ri^| <;3}c`E0Z1s[M =f4y;H0, }Cc9؀OJ0ټtYc,>|Cd7b4*Wd:ynw?v9[;8㫐|XT`(!gc5-IJ+ϵ;W7{mv,P|v惋E3 Fz6s*tf⊌ݞJ^P6yAK܋sr=U)PHm`:kDv4i{rՇeg"S[ /PsUUnS@ꑂN^hcEV!9@W9_9J(mhٗ_EJ|%9f<@lhttZ#쒍5?aUm;Km|M( ֣gx ~F?f\ʩ 틠c- zZ֠7wSSõ(L3 C.[p ix/ALxo'Z1 Ê%e8%bQu ǥsp<;/[˘sQ$^<&Apret.xvx2"|ocPwj6O-j.>,Ē%TYy)ۆDS,LZvgYZ07fbf43350eb20c78e21e3c880ce16e2193a1046 29b0c1eef527a70648010c1a77bc57b3054d5527 5494a10d7bf11c4de909a12a92e487c26fb55ea1 5d13452a27983e538d261502826594d743acaaa7 5ee230635355a48cc812996c21fd20f797f8c6e8 641243de9ddb87d0ad3ea5710a90706a68466ff4 7b6ec139de0a604f475d62d05f428136b3946790 7fe389180a718836fb9ab643c894780ea69160bb 805122a57d3a0b2bdac0a95906f3bffa1d16f815 857060ed8c59d8e65872a569304dd512a8049f5d 8bdfc81df497e23e2b530acccb397a660936bb61 915f2cac785ed88789894b5d7e581086ae5ce380 9482d80f8e7b6d882f212f19b6f42d222c5cf9fb 9a6e848cf7bbcec3ce6567527f9879425bc9a621 9b1f321658f3646bbc6f985f388fc2b2e09cd4db b394b94f00fd69962a31ef5d1297617398675dc0 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 ceb191a738ce340c0625ad49b38fd1b9582b424b cfb65f6a2cb4dc6833bf754cee194bd6a4b346fe d528ac61445ebf01d9c00ae78a93ed2a660aa700 df3fc9c9cd5e68fb92332d8bc39877c97204ac09 efb38344a46986ed1cab770e8beafe040322a6c19711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4