SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  =# T ]% VectorSpace:threads=2elapsed=64.066cpu=102.660gc=4.880factor=1.607zXZִF! L?]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9n4bSwvEZ+XIB5(ڠ)`a.C8Z_COơc~e"A@Ưt鍘&Ua iEvVa6{03nf -VY7/+. Bt/weX[,L.x鲇Csa7˖dMSCF| RpRZ$4W8 .4_:2rN1i@ţ l;}ǦNa1Hܩɵh4$֙;ߣ#/ͧB5D( bPYPe  MH kI1KfYo\}ȐKxצw%Deɬ l`T4@n}m1^Иu1]s:>=>*QN?ߏdf]-l9lgD|}OT@Wq]9s [OjH {•w3vz/ߒ!|8'RϖA^?y `8 7S58u-Iǫ?23t %4>_K;I!ȓMpJG a?T3GpJg/"B-὆3E>0]դ. 8T^R.o[1b˨/N ̤y=_=gEU1$93-gu)^7͡!9z'I "qRwOK< 4ɝRռ"/5rvU 60@d:&܍q,U1~F-F3vdㆦc2`ϽV;0SZ=tOJO1~R:Dͣn\8C'2pA<&:Jĝ&%ݛR?:X ŞٮqK HF}+HoHj?Zf0gx:_)[ܷEՄB=pC(~eZ Rnq[~ʹ3G$ZRZHFԑBxj$O9סvs%4reKjg $w1G0݁D Qʢ *Uy*Ɣhh .4 e&-5-<[$/mיjO5vwXϫ2ڽ`Jp _2wyo+:,}pIxB%gR1Sj # VectorSpace!DNFP{j!]sa):SSkRjLTJ9NJu9Wi.cj ſ-dkE.N;aS' vOa;T:ϢKM}K ivߖ<wFrJ(}qa %}^ Aja Odu+J-n-Wy^/5FbG9q>qYN]V+[)h?;L|P/ZlF3K*{To"Hڰ];׫_!0 ՞# svHH"c`/#QO*6;'5"Qp26= w17S/iįҦY'a5 cڰ#N:$nGˌڇ`[i*d̯s/61PKhϗWB tmt:EK`]ݓ,\\ ڎSϹX@ u sAnێ=@xAם>Ji:~7ѠL#bq<tTo\J#bǯCq{?˖c?`pt`.CfD+4\I*ٍu0v&QԘvm>>~0ֺ':>B^*v% DL6˔pփ`a;ZP WY&/P\6Q.ulW.?"b2~N0b{v#%BюI4s0fCwzC; ĺ$N}yc lբmH^moZ:(Fa_d2GpHy;.ĕ0̡P_X u$Y*t\T@G] qIi#_\I!iާ:1e2pOPƑ5!2Z76Jh!qĠ$QqMP%^7}Đm۫WbsPvcI NmʬX<婻L*4څLe1k)؝zgK.I0 ʪ݊)ЋyLJ>Zha3ј,]eĩygKt-H;B E4[}ɴag2^~5.:˗]=JܠM$W>IU;!i~lkK4 uLґ@!myg(ePcKu !iL{?#+Fku 7/xr,[fygf=K^fl]#W4XN?[6+/"v2'USql8  ~@/9;/x΄><aO<Ͻ3 əXyo5R:L\Z/Am.6pZ+eU؈,oym4w=7;m'qU\Ù0 5v 5IդPsJ]\?Բв{ 2w&s12\aN np<1K"ʦ@B^0/ڮ ~`fb{b {9d3Zwb̉M2>oީ sѨ'o=B.q(P}_aUfP\X7a !Pl > ZQZvbdMf Mr W'`gYZe45f2ba2111c74d6f81bdfce211d79c66f2f14d1e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab