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 aa L$ cS HOLCF-ex:threads=2elapsed=5.371cpu=10.564gc=0.424factor=1.977zXZִF! G]ŗXf1-qNe(rp.ru$s<ߖYA1簫a8[?Z "h vѦ6.MWb!%>#N$ !/uiwoy9BMrk]!⋂.H~4$\}7XO.xu]aPP=n\S *Q}*, \ѱgmЮg@ Wua\#Q;y$>[6>Zx3xI O?\~FC/p<'kT]EPS[TUME {8E'oM xe/kp>EbbFDN'Pdg5t/zFbtJ( &&uԌ3 ůxm,Fܦ?vMAg?jʞ\Jiw\/TdTKtt:xX)􆥗'N{Œ^i0 TC $s:. dq6Ӈs%%I@-B4PrX^X:̀-2&M)gǩ6 G?e~L.yli,XFrD;& D[0]{@.NQ{,PW8z+dW &^1!Hע"߼yr;- cÞojux$atDL/#U4SZ7QjZF /l~P (|u F;}`#RD!jV3@6E<'fal~%^Ix.Q2K%; {}f@I kCܫ׎b5<ǰܶf>Ȁ?*,gKx#RX~qxI4t2jFQ(83ȨnsYB'a_k F鿻=Ms:1hJ<0/8q c'8G vǏ SB]m)cf!v*o SkO;ԌB.m:D S. )"e*i l^Oݑ n}LT(Pm\$zPu&:,HE/4W ӻ{_g"{ 0ͽcijCA"w& qgYZ7zXZִF! ]ŗXi%k= c]FvM0-U۴sS<"!"( \Z@` wDT@462Yڏ^/cҁmi!{@jrjbi2#~d|K}]8ԤuQc( A|7$5έՁP?⻋5nBvv-w|r'^jQGF ҸLebba()HJ M ftrb;OGm2Ur@o'8&1"Uz]OYa}P7k-n%%lj>_)K0x5e@2U*6lljEphlqTG۵*['m~qFl#|: , j:LQȗ1|#@sC: co6+l3p(DN|@gE68y:qb fը޸=@ےmVn1@g%O⺀s\8zO2oB ēt0Sӹd|FdȹT;CJ;mŦ:nEqa1^ :OAܓ.d̡ڰ{|~u- r3.ޱgYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 80dcfca725ace97cead5e39d08245c26e7ed5a75 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 bfa0d55485fcaea5815caf23e331f19508583759 c110105a951c4b5024941ec2a936350c947ebacad2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 344aa01d9faa7875a66779417da64d59809f65b5 b1d7002158008374b1c81b144bf4976f7960602d