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 ^3 _hE++,àmKez8={4m̡zYg4/[j!D\$Bb1Ӟ|ĒM\#O ǐ70󽲐a^=.o+r9bt^:J dHgPrbmF'#f> UbqJ*s`e@ -[щ) l%}=Mi ~DZK>?\IKhX2ΒA_eznzO!‘ 3aL zïXOV^RtAݺ,]u=WL4țTʎ%e;ZB-c*,T-Q'<]WX_AZfo-nSo8 p6` <4.Cx`"#OwBM|hO10Q~`;o@of HpHeƆLI߂ydXggx¿[_YV_?Xplޛ;SƸ]ۺŋK~Є᠖9\ai>.919 BUŢϫj4zOe6fvJq E H^є2+ B(lgJbR"s5@VL` $݀JG2s$٬P%MQ`Xdt}iKjo\L\NX Q8UK4?n'&i2؋nS[[+ع26wy4f^~ɢu vSa2aG,u/:hqws,া5qZW^s=`֤sN Ӵ;uqW0Q4*JooHGƇ=^!Mj 76f{Z,Й &}^$b|EEI gYZ7zXZִF! O]ŗXi%h;9rm|$'-]|hKZȭ(>AN 0 w޽dvbNlA^,N@3#{F 0+ذNyVrXںc=Կ cj\)]R,ƒ4d::k_H|Ȁ4=İriسx?_pO\ v;9{1;\rnJɄ﫸:Dh:vdss-@ 'rf]1<uټb ~Wwt>%rئu2'\Oz+ ɂ4#˟Wg7RTx9oJ~zg]#)`DFx݁Y b MZm,nn/ɘgnUʦsJ%O(zu42Od nݡ% RfwExuǿ8 ^ij5Vs?l[9M?ŖN*{*==4a6` Ҕmnܭ\* !zPK3OGTLwUC̀w̿. o_y%=\]SzK4> Cg8=ٳ-xؿ&) ;3U! 86.7X75]6¼ʞ8u G&#]NJ9!aZ ,KvIIwr w,ʫ{5}%\CPΖUG5H97+31G4(: #$6.2׻ ` /3T-&S(t]C&N~YVRBGL zS܃Y=VUchip`8K0 cgYZ032e278e920e748cf57a1020d792b439fb524244 083469bae538d35e34796bec2f990e228f32eac4 15657b10c3cfdb6731b588ee9be619849fa04b92 2d3d2f28a6b4bc4fb7ec5c28bc921d540a84ac25 42d1ed135cfe63bc5d1e468473d48d107ea58611 52b0aace9d7980c050fa4e0a384a785c607e5f31 565bca3a4072752c3394d300bd4b40ef3c887e35 82d46fbcc95345e2065e37e9d924557aa3ff1408 83ec2123cbf6c08f5043b040b0a083203eda6eba 861b619b7a35db58e43bbb862b380e2be327b8c0 905b1d4788b326cc646d4cd82aaa39b022b158d7 9478f098439f08c28b947111f6139adcabb6262a 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea a1c7d25bf011eeec05ed314c00a6939226cbc308 a51b93af309bdf505ec482d1daef6c910a7348c0 c3ff0da789f71df5d545513ce6af382a66710c16 d95b1d4633a6e7b42b7a29f5e99a8718f776d04d e88660c8990ad2590c38014612d01d7a987fb036 fdd6377f295cba42706fd6a2cb6a7a6dd8ce581607addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3