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 Q |t m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.399cpu=22.752gc=0.700facto %Q CryptoBasedCompositionalPropertiesr=1.707zXZִF! N]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!">(2,Px%ĤѸe Nc_ 19B #d Òh<]zu5i4 59T\<|oYoًhc\8l@7$HTԝ65Y@+^Sݩ5n[O /TQT#xh"ORK]jW)3l3IzEL * dt/4_ 6 3Bw\H ĩ*'dq nս2-,!ooٴ/ OE1.=Eą \oGR4r|/lmAfPc!W&c6ʝPԬ8ʮ*A {܁c* Ј`79pҋ _o!m&nb!t1Mcw \m#Er6VudKH95S=M"j!E b@ W vtm+%JTC܃Mw ZIi+KvY~5r0 Gc{Q)|Q ݽnzg(n ֻY{6r#Wg ] ;f-株 39=Sm-*nIo/n~oǫ\0XxyJn*e-OoȀ%_h^祰j/ŬMr >ۉL[)+REx[Y[7n -o4x`Rb4 'Ԑذ;K^ |UOq^V(%j!?Vqp U&W?MA*>OqMtxd9t^o!(Y\ypI#a6;\.h5[rX[7 e!/SXHpv" MgYZ7zXZִF! Hxq]ŗXi%m]mr9 y D%`7M/lDw8J@ҴVӼ+fgX'Yx䍯 b[PwU]^O6^>/*_}BXzؙܩ?7ze۶ÀQg1{T1QQ P}rR,/rCCq"NYNV,j-l(73q3ϸ=.ug@Œ,TLTBWC  )#3Z~N=L R|I2;MWwBՄC * )uXGD|OE w;[RࢎGIxt;`?5DŽv~4vw&M}ϡg9uobY{U9U[=Vv 4Y+DzlF r̆+*o_c*s(h{)IG+U:O(uZCס-ze Fa0FDGhb"-! l[Fx;sen(m1 vuܹG{IlFdW Mr%%MUﹻjӆD{ib]u\' נx{ -^d[tt6>\[ 8Z¿s*\ Xp{k3\Ӑ`U&xQ!$R='<Pq:4w/e[Kƙ]\`6Q{4UXփ 6a sgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 3cfb3ca9b5ba20b084fee8954854fd58409af50b 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d