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 \ 휼4'o79%<[훴ʜ9οA>Đofv{IkF3Àw#};>>Hс+3vf(Ok65\~MGFˡ NoB|H S7kQ Wo*+j \D?:y`s8Lgl)Lip|wzvE" }~x ['Az]ަnmcMkU6͚=5ZfK`Yqp?)Ozԋm}Jkmv@p )鲖:u}B,-)/jЂɑm۾b#wVx.B!0ҫq-ɽrwhWGhlñe Nsl:n8aܚ ׿^] &v/=WrMAd}|^ 箦CX[K<`sc[ Cy CFIeWn;w 讳D3x/2+H8kDB鹡Gnc}ߨ ~pvZj3zckQ4u8j/M@ Zrk;"&sxj9de9A_a[|#uYYvfwܗC ({TOI ? R4pyB<"/Bez$*`o]]$eUohƫׄUT2 MaɘE> R.z˫E$o 0b@& ;QN rR+6!T@if)X Io/9ܑv{殴XB x\߀ߡ5nٱ l2q9A4 kٜG!Emׁ_Fo66-'n(8BeEqK_Qa3N'I Z}y_4%+Undd68]kM`h_"ɠX̔-X+;+KsHna4(|".׌^cmonF 8|RoGinkfvcLQnbQDYi(5& B|*>c+fF U@-j!7O+iۛ9sr+cOpM"_>-ޱ,"Xb?fzFD(M\w(q.KE*jz0{d2 Yg@R:_ elӜxÒ޸N*i> u|WU)&@IsxEEbAU~lnJp7S_P:IѸ3v iy!]i7>)+ \Z+̼2sw8h*8|V7`FǛc/_UƳJi6\>%e"N5ʁQ]_'ؔÛ3ץ:C)} ALkqUoTtjT0pHv`tGM/Xۚ{LD窙{/& f{}x+f;xo|ar0;UW&J2LͶ4Z3/#~ޣqLVrzFvFIEbg9gF*A5_:xo'<1>p}v)r*3F\e &|%WpODm:ܾ*\Zv6#zK- T?lZ7?]=d0Ǜ; 9"je O*mlyxEA#d_"eza0Bp>Cצ~u:8ðʅS yl~أv/5Fph;ʥ]ak7 mwXg_߲QZ[fI}E/]HMLntDtKQ%e_?&/4(;xL˯][([AgW`"=l]Syne=HeQ:wȡ! }~WLG`ł6r]oVCDc(3R*++zӻ/G{7 ֋iQ&4wkRsn1,4a uԯɻ#쿩x+:*kƔ@SA/|y.aY Ś~]u1 41-;SB(HLxtc'ӑ)A~Êp}ǃXc#\$0U08{z,)g>7]})ZuXز*BqRLMovyK" x8 Úŝ0GF@B=C,^Sm脥`7ck~^*RVк-^D,"";Aƒ0a)'jʲI ^Ń/"T_^fv<(PcӲ0Y)RKԮm2nƉ^3IY;lo?Nym 'W :<%W7]JGZݟ*.Tī~ZZ:ۺgۓ$^i2#ltjW6uڎ5i CO y+k+>-+jڧ>m_f_ou@i1/6ey,`U@Ѫ'H  I0סXEqZ;[rq")M \9D;tT6(\+ qf-VwҖZc}m$A_ιK=D.R##6IpQJIJ>4O 5'h~gkQW\aIZ0CV^ʍE3jyϖ[9( l6A;_NÓ[\g5‰A۟oɯh+FN?8K!+81MS‹'RWt\ =f