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 w 4T E/ XML:threads=2elapsed=18.892cpu=29.312gc=2.048factor=1.557zXZִF! OQ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL-FR$yG2q9uXP$5:iswy%nc<浔&*$S)  XMLd}=! 0k*C[kWx0=*#^T+߻ ^my۵~ G[ɠ+cuNJ]ƛhYLd~eiu,'hZKdׇV.ŠJCK06Ę` Zq|bxWƉmYIj$W;G\bE?&fO/Ig8HX$T*(w1O9ㄑ9KU[l,JxxMPJrB f.G"-`*]lbORRf-->jTO{2y|e,kt9gI^X 5NM)Nݔ'ONkn+l+ X9blX+7NMPU2B*%c4v}4Tf{ 2i ]vU ~oeqۼI|w <3=G`ݔFT)LSuྻt0\[>Kۂ0' jtT6 vfe\U`ֽۡ.B}@̑$ XSFOHe) ַZ4IvT.DJp d U6NS/Z#х5GW_]“7ڔH!0g2o_h}=xOSP:R Di!v._LR~GF=1 0Z+gs@z|ha]ľLCL޺l(OV8niƉUpqAI_*jV lYK@>Ǔ ~_ef "hi%2H"~ SOI ݒVp,σO ASРG,1 kmvyzD[b%Ac8q&H0z O.λG^!xEzB=O=Z 8(:\76BSXey>o'L@Ȱ8DjL"f!K1A񸱣NH~C-O}TJ&-9^pR-AިAcLvǵ7? t-#{z@꿺9λf#Ň:1"!N>'>K3'p&1a-[a6PFP{$d&m 둍k" ù=<"\G h?2ݾGSC?8i~X(ƿ5ܢFmU;>˯\_}UmHO*Ab$bOj;j>ʟ=8K.9!,ysS_S _ʇ0'°OJR{I^-,yr}s+ p7?6s3r >Î`e/HK_; u-E67v)ՉXC$SĤ2V)˝ʂ a`vKC9N2eCipz^\$\{nB}:s-* tM̂N(G/7j-b-zNk6@B,Нq1?\#>bfKAA|M[`'RQWL>0/dDr,Pt@G0]$>Y[dTpi$W cCv "qW&b_xtvggQe_Y_M1"lJCQ*h9pca;i}-̃n#6]1xf*WuLjܭCj;ؼ!R6 .+asp8c~tt$ k|GܐÈQ𶣼jCAs4|-.+ bt|w+Gȋ7'K ˗\ܓHy}'\@߽:fspc/ض{Om>Bp>Ibe ɯtk.3Xt$ yZh4Ftrs A!FkL}|wUٟ)DsJd#W<뤗{l_BZI8 ۂ>b0$Jd[ic\,EÇ c^R$7t={hȒu-)Uе0`g9KW "jkH_+eQc"̸ޒhɢ#M#.JUShnN0L1ALbu@3@%MXvy&uMhbVֻd97B7v$`c Xj0]7<d۳!@H4 oò1\Q"(r?,nI)e0;Q-V2QW? \m֖+fH]]wm9I0̖,!J=". (][M,y}et !&}"&d\DLgb -A;e"fzh\FCʄ q\RiˤR闓=I<Tܿ㚑M±:$Ǯ -)Ȗj<#w8DۀzK&vW}`޽mBG']V5#x܇!*S \ yGgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 6bc5c512e2053adc6d65a6c72e2628a08b74fdc5 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f0fce7eeae1ffa41a6f0691e21062958b47031cc f2ec054802208841282d3caf8cb88ebe49e30b1b8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07