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 zzo || E/ XML:threads=2elapsed=18.827cpu=29.208gc=1.908factor=1.557zXZִF! T ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLu YhC̀L'9݉FwZ?ӘfL*+%đ: &Yi`O-Ց[:Lw:]gCq[lwj37b=m]?3t  XMLhp<8"<5qO?),&Vܓ4ξV &jH8?K-yw9CuaCZ4nSМ{@Vȥ;6=[-L+7̄Z0W`/1{;%smt+/GjaC}AXB`kӭ`K` hLi7->]ut=+h/0=H>.̝|y\m^5`]Nj근VX~H;J5ᲃ!ܬ7$>Kc',X5AxQ&+%sYnXX~}9U +[-o>fW%E>̭7Q^lpP]ܔ󙌞Ű|AR3W8~婛C8t DgP4"BÀ+w~# y̆F^tdj^r)Z>8/rQٳ/=%v memzy`$J#=p'츆.~QZG#Q<>{&B5INPC*bF]?ySB!*58)ѯ~d:ڈc[l 0'~ʢ'XH hElCI_FHVXGY"U]e*7,ow*oa3MwTy)NDAa8ps1[m5Q-=ȋGPUrSC>'$xyEoAw#lðrxj(\\Lx3 ΁<,b y#1wk TsO‹f6e5#j޺ nRz{],e=P)"na5mambf`JSC,ަŖU&2hKV2 =$GٯF\aּ!G'P Vdd+-JٵwxВR5o3}>7;YŞv,B"Ǘ0NĐoF*򶗈dbgfsinKF;gYZ7zXZִF! ]6]ŗXi%=ILX[OR.)0+XqF,=?];bi p68sh\Yhi?!i>4w[EW Y83VZH=y9|hM 4ڏg Tʽi\2/SZ)I⒜DK\!Z#64/59ßcڞE$ vgtF&a`:~:0zC(Ugn81{ӗ(&%q8„bˠ 泗uJm񫱘;տҁ\-pp\g+#=9n?ܨxb_wQDNm00ϝ`9Q;|m% &~"(J!CmV^nK0OT X^?k?Y/Z !8֋PyṬ`>\ }; _[Z/a =T]V'%HpELw#(`ꕑ3o9h+;$!{B|߯@ۚv@ j& U\r{e:fR⏵(+⎨3MԌ\aLc'7XY YH׍9sCQwyLJ tF+;nNc- ʜV!*lePP xÉ<uآ+N'SGVB<(͂R 3KhNd}],_ŝOd6yWkҙvzc%lAmܱ[Pጒ 7('4 DF`#є($]Fփ* lNV;Kcn`A)kvmT\ܶC2$s29M2NLX;v<]^ƵAw.(߹VPBN 2Ѭ^KArdHMyu7г,.b6"z/{w_> [=jyFՑzUOZ֠lnwT(+2JW\J~pjlK"%5JjOcbdU~eT-z`۸5,d Gi\_<,F7³LyԯwŬ󬩩 bgz[qܗQu:ICc:TQf"(hh 1xƞֲOT:z>n wSDIן?摦*K bHz"wK*?w ~˗^] e'ջfWvN:Djo >±gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 722d64b71a8d69215636481bee7308af94f211c9 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f0fce7eeae1ffa41a6f0691e21062958b47031cc f2ec054802208841282d3caf8cb88ebe49e30b1b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457