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 _1 D< + HOL-Metis_Examples:threads=6elapsed=11.887cpu=52.364gc=3.000factor=4.417zXZִF! XU[]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1'2i~3'}1UTvqp*[IdN+ PU츷 }sA1I S BI\Bhni9u9_[GޛڠxVIXU$بˢ9}/UÀ5=zsKArw%L'>׋,'?P75)m?ɿbw}Ԭ hCM<6g$lI8V 5xWz! *Q( 侹=9_G'M ަ{ އBc!jw[Mt tFQDXQUML%.2`wQW$D+84Tq{pZwٜa|6m' Dz"Kbi"gj9Rq[ٔS,,]1q&n%e<ײ8]O()Y U/D:*SZ7fueӈ87HZ$O‡`aKP# #p@?8ze)T-:g8 1$&L8pߏ SE!ZDI2%L>J+RgD(h?eAB{@h}hb04Zz:X:B7oH4~k Ûx,X9<[ف!EK*̼ͼ0k-#A-ei"t0's_h }d[_:cJR`_QG=٭Obz ˈcdIK⑧՝^<(Hʆئ;Lt`SVՃ"JZ\doWyn7>ÚW!h>'3W\׮źbNad+Q)>M=npncnP.u$/L f"=H_0mffjilT^2c"K)/n; \Qr8F Ծ6_h|P lolD9@ŵA|<Εk4ٕwʻiF~pi('[DcxF7%">Z Wm0/d-̨8_-xdmI3T$#*g,1TManNҜho^PNxU3Y=G/{d)1Jᐞv[{,7~!2 &$YpgSr:>ov{j2#Wa H>UKlʓ Hr{PT?u-ՙ':$SPl0sO29~Җ'e+*m֚|`ve.P֍Ƙp KToU =G3CC}"m7q,WmC,(;r1ݩ!̰_QJxP?yUy2ob]>%9$vi0^\HƲA<-\8! 8]= 3̼d|wٙʍ_H] ^o}ȗ'B~ƒ7~YNymm=fe()IXObG+Ju&! 6_-Ԍi`"BvutTӬyfy<֢724Z~1t1fY1lZfBV K#msCK e$nԉIu(ӱEYG }yHt1^RPs2m ?Gl6!Ue9{ks=UZxd uLB́2QyCBMz+5ra2pӞ0leh w\ t,i78 h9M*caΖ #qDDWI( iH'ZwJ45Q"(9K6Ib6.boě# qICgYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 30afac17f29e367c46142872751722118953e506 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9a362efebf64ffd920419226b62b7d7b9594c189 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a29e4a1b14b46397f2d97d488081eb16759e6af7 a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee17 f74677738c92aa5cac3970ad1ce529e2d0b0bfb7a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc e0509b6b5154f01bfbf9ba0bafa70119dbc01568 ddc4e850e6d209171523f5055a5ee5c04e8ff275 1 HOL-Metis_Examples