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 11<3 Lt w/ IEEE_Floating_Point:threads=2elapsed=19.160cpu=33.188gc=0.496factor=1.737zXZִF! O]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx 3 IEEE_Floating_Point:;w.7l9m?gfMVŠ 7|e6<6:40P7Mqt|ߕ$0Բ͡<>-;PHk'&1ͫ&IG%62Oev/d ue{U$3 u , _\(. {Xx{$m\ Xfk8 1SOX wk㜔ne"H`pjN,䖏mTuaOYz3cU.t9x1Y) mŌaVZyAM<.7b> ՜ ?*ˁ]w_>XX)VX:Ke2o8 07^: (wk%8h1Ey)iwY-HJ qa߰exvHmlԩ3[;ڈv{/ FvabLÉqYg& =F<$:ɵL [Vc]aObl[dȸv>e Uq Kr\Gs@"kTPcJyۦ(|pkd<"%K8o@eUʿ 2{]ro.]INM.,h+@vkt¶f6`0qm OnkJ'{0L; utvPv\ u4='- ecsg4t/vm-u~D *rS}%2FKmOFnq>ϊ.!ꑿ[$`^ 'u3YI8əVWCYl=gf]u$T[]'UdG;/K(b ,ME9#[%qs(,hQBE3ߌӻlr[_JKY3rC#c,|HLWF c܎XW+ID_S_=}~`DAtZ|M;kpF1pl1خc->5[h%=Kh tu[HW'|6IJ{7x˪HћfŞ>{{l/ b;U˶t,i=W"a_,ԕB)":'bh@:;A.G+g=a;$#nlaj .ݔt.c2#]Q@گRREu}Irޔ,`۳H' @DE]ַRm ɶ-uZyl^ 0nA5Ƞ2OgXNj±waczg}%4358]4;+RM[$b:t R‚b^U5D+D?7<3hj`'U 7=[WͿrn%I͡:n3_5&_cHpz2)PoE$ۮO N}M}OɟVr7n=Bn\m%:BA5e }>GkU66tQ#2\htp :[Z5O{C3@ڇPo,g7?IHuCƣ|cF5!Φ#O[C K":-YRUao6`}t6F2ַˁNj]JsŎTܧYFuh[*mt) ؎ߟ—7̞z7Np݂^÷G2f[a/ƪAtq/;~IwgAŎo} t:V0(RjTҎf@A+@x!岰"띋B]q}X>_X ЩMX@zt|0sTo?'ktTg0{4]^8e$Wާ,] C*#CqY9B3%Q+GFsZEBQAkwlM@A-z F+FڼMk^ӝ )o */gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b529697df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56