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  U1 tD ] HOL-Metis_Examples:threads=2elapsed=42.289cpu=64.568gc=3.260factor=1.537zXZִF! ]]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙkNhFw3! %IJoѴsDcb~t "֓o SpWFYx})3'MnO3@*ҏ<n [)fiBvI%?rvfgal (^iS` hn~2mi[oŢyX4As(NE'Z &w:2dD;Ĕ-!`JSSKO)PUT\a)E﷋y# :9ܔFՎL\jMj~I-D t3﵋o$~on@U7Ax>_? "PGd"b"j F } h25?5{]JR1nalv8 nYωRQ3K#mۻd$޲xO@fw8 +1Q$/T>>8 K/]ɂE3P0,@zN pPHHp2k+LvdcN <2Ra+DT'-ei8e} Oͼ1 *M큆t]={->ۜ߉PڋዤzW,D[OC_p¤4%4٧AŦ{˂F”_L/(ݘ%}GXJԄ݊rQF/ػ#?#ɟ5ϝxnZZrsfUAдD]QsX׌Dל;룘~0rS!Lw:އ٪c6'8H]ur4I/ ~"62:H>}l*CrџE.]|?iiėfj)k` kh+#[OBpXT 57/g-هwqf5:pW34&ɘ޳]]8a?G>Y?Q (zӺgYZ7zXZִF! ]ŗXiɟ1$Cܨ }X 6^vWn p^k8huUӖgѡs|2 y0z mduxJuqr!39 \&YxW6M)+Y { )X$FSDv^ޒtA`t P fm$iG4&*{%HZ`cч5' pTJ x/M[R:vzq@GyI:@D c^% >gYZ7zXZִF! ]ŗXi%96BF_dʾp>?_ސ/"/[v}\ƚ,Ϗߊ칅 k+o0U@7 b[) &?C썓DtZM_E8}X/ak7 g[AQiqQ Ʀ*ȊFOH,Aft.8ܛвL,qzzNkT=@y蛟O(| Qb}48TWɐ5/Bu8P=ypo{DN9CrcΡ~%,( zZ4ګJ]՛ ْoƀ=!'5+q.~{2S(0b.Cë%Vп+9dea+.[ko)ۑ  3N(ۇX5n|FИNɢq:,N}V"|F]C󏁞޳^;]#u,*"+3理_P=RwATVm8Vtee0}D;ˁ݋(XVPnɇݏ5m)I'{V ">A*5 ͗IIWd`51U0|o46C9fht~"?B&5u?V\Iո r'l[uԼ!+GVB]sn[ƌ)Qr Xo0{,bZc1ϩnv8vj-b ƱyݦH˜FzkW99crzӐ0%f8ӺH-8z6p#2[|u"оE[d6rčXvm BXv Wت|\#_O

>!lCy)?\B,@)J. _(.y.<5vrӆ&N/N @ _NgvR&APo*OPS^8.&v?@ le~V ϟuVJyj9iό]Ы9YBney`mPِjY`Zs &y/ ~[LG6%\Zp?ʉ3A swRp9[({7ơV;fOJ__{^Ob~ȗ3Kt[;Ώ^z ;91aLѡf^nA|19 U(1hI m- i6F؄JNW#IMN|Do\\LWP/]0Ƚcq$Q{8`-᪪4#%j_A`. 0f1 I+%$կ~Wip~zY\Jv:MrQW=  KeIbY^Q1he;[ԄJ1 \-%QXahʟnZ0e-Y#vQlʐФ ]@0[a"]1֥@Xlpļx1Endx=XOl~Vy|ΐO2c Y36rLgly Q[ijfUO g7\O8*Y=c-G Q 3+/V[JN_e}>A'_ln+-+g|Mt9'@z(U~,QfnB<9Iۅ.k\JmVRgH gˆWƇ`7b362850pՠvb5{if #(-by6=R7]fXڟEeխǖl4^:<|HmRCYm`T95E阔Zc*tYmo8:$Mf!%۱-JFs>rڡa2!a'7@:J/&)JGM3Cj sGyzm1?..lhI-y,JUrsI> l#՗-d$O Q;:gPLEkVӠ pv:setM>Ai矊xLfp1{95csӮ66٠KXOx~Seٽʗa -զhiOȲ#c.+~fLƃgYZa0b23ec34786d57bb918c402566a0ca7c1af4d8131bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29