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 WW) T4 w% Groebner_Bases:threads=2elapsed=34.101cpu=66.452gc=2.240factor=1.957zXZִF! 9]ŗXf1-/6vRZnihNsDJ,anj 1#nE> !A xw)fU/umzvyncw;$QDKa\l]0o/D7EjkZ dZ?/{l\tS9%y:Y)qTSj(VRˌRNNYo$}CgO 𭋅Tmw.WNh|>{A$>n*OD;1MU$ l4WMn"UIf(i}BmB G2Dt dx2+?W=95=R-Hax6Ta.*=6}Z^2~f0LE5T;nTi 3p)ӝuS~5nrGvh^U2a";;)kV(BEnYrA ZXDώ+oe(Qytm2PK6KY˱*|o!G۴ Vb2soNT1i#(ʀ{hj&JqI|43ة`j >cR)ee Njy41ch4 խM?RNdg8*u5šUt h;Xg5ju Zx7n6Ryރ'gn;Qؠ&ƘDqmC@fϮ&gțGIydX$t ~"whtGT2IaH;eA2%X4cݕb:|螟y]!].Y;-2\FZ.1Rp頻aj2(1[?}k%IV dԵi}F8>IP{bן$S!6~*K򲤇k3ݟɕEudf+B m6"]l.awHKQ>ۼA1Z_oɏJ6(J"NeJ!r&N@nhx1m<[A sAPgYZ7zXZִF! ૹT]ŗXi%`mَ\zEUym9up~GB {<` Q@j:ڇqi- ٭݊mNbTs*ee<ѫxMՆ @^obp!4Ձy,|)\)ʉ x=Rl&Tȍ .^wD.>8? ހM0H{}KgXdn|?:f@)4luM/b\c$N"?jZ*o*;٬Уh>j;c7D^KjLEwChsFj0Eh"ɔm8P|7.<ʸj4Qoj0Tۂ/64Rw)܌n+멇wm+{!&-_JjMQjjz1I2!VKa]P{;]E$yP0v}T{t[ e*08ŘRcվHi0%ps)!ˀtSYyR trûbuAƳ:c:Sra4~H h,`}hO'l1'-=7`t1 Ai"&oL2d!\`;sR4`x۹t1$uQS"'Ia5F5/77pbyx%|U4WOVb wF~jf0LʉxU7崵2ooTlOpOG|/uV,3ə+0 |uaOD(VaLzא:(CQĞ!8oQn~UWXj.eTD\^ywKu} @Ci1\o& BI1Ln< B8ŐY}o.;6NlKe{W>u)g4F5N; A].4ѺGޭVƯ[wk|t۾}XS3 Pu WlkUPF>ђ[וo7xDxǦX: V,1RCPļ}k^>Lo@E:^%}msظ 1B߫g&gYWSFxFo~gYZ1a45e567e3c8fc4008920f44a417d7812da6e9dc 2d7cdbabc6a88c3a844f5c7bc3c7e11b434a3094 3ed95eaffc56f303cf0a4b5e6debeb7de56bc6d0 add16f085039827b1b43145890e5419d06eccf30 d92cc33c39cb0a77d32c803c7801eeba83eaac6f e9484ff582e8f8ad3ca3bce341cf82fb8c4d93d180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c f656ec447c30fdf9474f0847349659e63ea8f651 298faf519506eccc6b80b9f14fab7c8f0c0dec79