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 ))@ 4 E ZF-UNITY:threads=6elapsed=5.162cpu=25.260gc=0.880factor=4.897zXZִF! c ]ŗXf1-WHIk0p䋎dh֨/+aHe x M_`7bjd|   ZF-UNITY@z6\lr$ L 6nknSb?ŔRamPhԵW*^7Ydz%ݒ>pߧB$N%wB?]fvg 蔭ȝ[ cF7UjќB"K'R0qW[$>_sȮKUS8, H!Rtqȓ!JL.Vs?LjL„ܥV ]zXgr|/(Fxᮎ&RlirpuӓK}.ތX = BE/Q.i%q).P꽁(EIac\n_f3gMZ lo/5 x:|Vm$L ڣ|#8f.CE n*1lNZOm +5"0͉uPn`Kƙ)ADb?ÙDL V^h? oܮÑ]Kߐ/Y$ AfE C4xB k9}:[ƨ:ԄOVt /@SL_(i,fNV9^qKoD3A>>ڋTS\8` vYBa`IsW"Z@ +yzqo~SZvEIksXKx+C=5_Xt=td{U׵DI^j Ri ^.& 0*  XdಆV(_;6r eSGo 'a$Guy~UJ>}Rh|)Opu6o=&`lk0O1ءIn0S<Ş+K'ˮe)rX:6i3tkwGLn*"42-\:-9Xm&_;6/;TYW`x,`5vq\!9|zqجNv75 mq^*]`]*DFO+3Lpu(NgTdLl:aK%rV" nFYSuUۗ6n nNtX1/mGdXPwEYumⱋ-A!I, 8W>r")uWޣV^?0|sxS}Kљ>عҜsi %g7 &T!lF[*;ԅR%>, vN'\ y*|mF"Ma?klF{mB;{9j1KV\SNJ?Er!-(#4.,0ٍ#~@t}~}c+0 ƜNSm|~:qnAȴj2߇K.=O0$&ASc䪸AA[:% #,/d}3zי}qDNB5˟(KgYZ7zXZִF! ]ŗXi%bl%7nq aaa"ae۔ۘ6a;onן3Ly9kO}Eo}Nƙ8Xd+1` TN (]WC{)5E-lI6f#mN^ '|8:)I``33ǕF8LJ ٷS#P w`oNCОKC:lhvږJn di"eVo!V5K7R9'g%n^ᾥ|I3:Й6|UD7zs. i sTj5Ɨ92 GeڏA зS`i[ʿ/Nafc6'$1t$W a rR “F t054()@;rJǞaYdxd"thÇU/ ֪y`ZK~تQHaߏЀLmcuB9oXii ~1{dr CҪOP@Qr63OՔgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f2658c1f5f7555feb9985fead5405c04acebc14240e 1c3406c4ad40dd2b84cf5a92daf1159c0def29b6 0acc18ed750df61eb6a4e7201b35b01b6c1ad978