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 T4 S Real_Impl:threads=2elapsed=64.807cpu=125.472gc=3.520factor=1.947zXZִF! +#]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*K蜕"=i Ui-ZNyBFtk=ٞ!"ЌG_jX݊%܅cHObM9FA 0ka!np2X%vJȤeC0~iyJjV-dyZKŔ=;%& [a(ヾ ySѐ'kE%0E 翟eW|'^NȪ?oZs|,n*׵N/#Y ѩ/iͤXRU-$fNVk!`W'˸+V   Real_Impl~ouuÉ:_TLaʥ}>)b٘[|(i"Cd.`Hc蘖ѻ%,tWmD! AgwCCP6H~HY /'TwYjwPvlgbC811]aBmL9$e*EfpgjrD#8<[@=m>՗N avujATA*}0 FlD^%riϋ{"R#=r󜁬^=ol&p&̊oZ g(S!>0S頬>dB iyi{QnXP8CnOFFSx^$Wə ЌqGT>! ׻ܚg+M ifI6#}!X>UO{9ȬFw7ߦHP z jWu H_$ 9w*&u1&^=bx R݊cvxbl:~A*|{64[bD6qP2C/X%ivІ8X?D^~#%}RicCd :E,_l6qq 5^|Hzܥ7?qK50 db!1NIbpN[uCRЗ–p^=+WtfG/cs)rKʾ i@~+@]=`0á^XS..N~'h.3/qQ?@ *?Yj1(6hmIOgqcK#Ӎ&!'Ӈ׺@CG3tz"PZSf+)M0yMŭYhTkƧ3פz[ZCKXp-ѧe>n#o BV 3n@wQ 3;ɁCHeˁպAPKqUJr뱇cy?-Uؘ\ThؖXIוŴ겄&7WUF 9*ҸU±zU_{„j9f?OmzS$DDXV)_eqJ qz~aP,Cgʺzzʮ<jt}ݾI:t x:nLE>K91+>;bt9lN$* < [mH|k EF!--zf6Ncx-:'CVDI(ߡ踏I13cU=5hzٳJɽa3'Ǒ9I,Gε΂L|b 7#nmb-^L h.}u,;ۅѲ\~H ϟ֫{0i_=PH?vsT}ȁ,m45'[UFr7uhS)&UVJ.C-phq  urØVgqdBÎ!imږ*Do_1T?6y9m-v-Z%A3AEO BM#qyOi tK**e$>OY~42p!11܀};Jt- PG) nC>z[$P87ȸgX݀& )':3j;7&UD :<:3`T_g/!E1E%* . el4 #B#uql&([.!}n ?o1(|} f ςŪO`t93 >.e utPJk8Er,'AG1XOP$j꩓&c 5K$j['[큌;*/R'obڜfEPQ`sZDPT@<+4Ogt3R>hmu5[)\f-dP2olw˘Zuf ]:Qn ő|bc')b wتbw! 2|7v&q0G^cߖ6͵"ƥo2S`h 8I2 8;wɌCp Xsu)ILnc7 VEFnYS֐AxJ;,-]_A3 ur5[kxv rX;!JL.Gc}?1DU" 8pϡ'~keU㠔}e:0\(ls4eŖ Gi9H6 +:+D#fer(@M߂|Fhnh[4c7;^5z5 NBED&EgKtztpK~?:C\\O7%3t~cBᳶPag*92PRa!7CYf1pϘ]*33/fixAP b<\J߁oK@Fc*k#.]ȧqyg"_wt9=qJds~W Τ*n!9`0u*Wk8FWwv8fN!JDwDr2v4^훤G7#xNl%|TCykR`! 87*Kp[$kta7D]lGk=,@$0i=&GԽidt z˗[56ݍMV c% %ċ Uق0x% Ɉֽ=Q &p['AK}{Fn8ǒŘ ECU巘#Po#-Ƨ{_q:)pyvFM!`T~4ǒ^r [1E]Xk0_  : :}y#1"o"w=ᣈ27]UW{.PWG #p#D ]r<mC_cuٗ%if HM("E:&|"pI{ vJʟ”}ٮL'*'Ng#{?S>Uw +#)sG쒕}5Yq dvKYse -5X,Bejn1x(yIP)phZ,-Tk2"bI!|p'O-LhR~r$$QVKŒ܃i[C^ID7|E`/oc̕\y-;l]ֻ<,f1?2U3bge u^0Av*[|.g(N_XhlSRPdq6cY@h`_QY tt`#gwx4lMLaYS^,ܭ 3Qę)5 , e\t:#fpڱ9o=^Ïn}:2|j+.\=qa=\?|j޼ԿZhc'ź==Ȍ{,޶9[",ܡzMnDk˵иӠZ Py @inxݜ Ƣ|,9 ޢ^uD>.Nqc߼9s̅*Cc׾垴T8W,s%AO>]%-Kxmovbr$Cx;R.lo_vpkXڧ>VAA"-WV9&Pj kqʴ?9n[w Էய 7/8l|LjLqjYE҃?g| 9Ez,l"%a 4jcL=ξ~nf|q?eLZo`e;ӹ SGQ\3N.ǐ-тˈڮ-]ASU0@<Unby# |* 3k 8 L){tQ{q[c#n"/zW]i\XPѮy̅) C`?n$>wJ=̩7+T"He`* ГY^UkQ|pPP83|W-/?6,$4Įcl^pZsU2} P"**W(z2㓜CrɈ=M4)<*Ϗ]-}_H6R{r,dۡ'HL,MAqE/F(ܤ n)m?3-i,B.k1FO;+.Y֓am6"B96T *=DXs4qV/f&rBtV}Rx͌l DzLȱHK6lDT,x5e=Y,q&v *U &]Eԫ :(A.2P"dfy ON2-8ɑ MU6Dݩp&q!"G a} }̓WksQsNWN,KIYYT1?G8V[D6t,x3X]rQ rUӜXNք0ys"B4vZ,axf+ZH*2H)tƧ2)Bܢ 1Dd6tCKkU WƷt-"ND?6JOdrANYn R,>OF^]-6G7-L]fjěY53Tww&" 쭕iϙ*]YC 7' h2kyaFtl׿n+ޙłQML:ic.f#,'@Vd7doQos8Ʒ,{`PEiǏpi," wRL5&g*DR4gJsè,Cc5Dp tMa![ʢk{#J9~3^rBM9RM>{xBˡV[*UiJ-أmV93Y*&mf-t֖)Qݩ>Ƹ;w |uk@^57=x ۽&E^_֡ `*|O