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 ZZ  t4 }/]UPF:threads=2elapsed=34.930cpu=64.892gc=2.560factor=1.867zXZִF! ]]ŗXf1-/6vR[y,o1=}8qՌ  UPF!bF)K*ȡ8DGa9N9W> Tx `m0#?ؤciBH4huouy8[UNLav{;= ks s^Gz=7:!\@ 6[#4r9Mϔv!cX. &,ø#T%k0%]aJ+1: pNrBTY!vpa ,B\?: 0= "}>"CqdM9TwO%u6&ε98`?VPj|b30~H4HwJddm N]CDϟ{f`)P vu~):\1hτ*;&Ѝe" Dk `)p.~Lњtkxe OxfA2rV_C BCIA 5 Vfʫ ̝1ߞ65K:m/5yJn !4&G>%Pmph>twQ{4%LhyF/@.aeZtWUtmsU BAj,Bb0',EcOR|9ynږ .K:ayb}^ñeDŽ=BSҞGEeӠ1RC]ްw 7ivC7M֭\ @^Ϥpfm,b=}tQ?74/TS5>SA!zipi t+L YY_?&`ZQ}y ϐm_Ke<%[쟚 duN,G7x؈T!0 UlC,cr]}d{x6oF^usfF-8ѿ۷O(]< 1+Gb߅U47b*eP11NҴ䀏6jRu⚄N~{)37bmZ`_thFj KG=^b=#(nnKb7My>[v b8cصּ:˪qX( {L)b !4/ڐSŞχQ7YvszG['b$Ͽ= Vfai7%JED[I rBſ};Yv ɷN:3ȣB0ڨ " 1/J`l2(Be=uqC#~Ѣv8 rAwC t(WNlt`n?4ϱgYZ7zXZִF! ,]ŗXi%>)9刪/m\Ø_U=R-Jkܺ%h ^=:)LUCU*ii;o"W[(>tYI igڪL^QtZ?9 Fn]B)^l6υ2nbzDy4Ir& <ɝ誻AR} o{(;uKDA 3J~_h FBP_RM1\\EuWwojLdtn!'QWOrB\u2]HPGȿa̾|k;˩lh䳐u[wDD j.ZK'1!/ ]=R8%y&j*>!xl+ :l4K{ʴ"w=jS=x@=KAwW!VkE""*2]p2I KzmI?A oeVW%*~P3r1w 4t +^dK\5Sp^L3p$Q:Aj]Au[I}(Ʉ"x ~O4^uuhz+J!Mzk :α"ы|o0}:"vtw9z݈߁Kv#cFWz`|}C|} &k*"{wcMB%a7X9nG7C/3FxE5~+偀&IoPf}VcHIvY?yI KbKԿv* -fW/fR=t'.<P']:5'P/ !ν/NZG Ef+g$r2."9_A qMYeC i`tF keg؎0%abmM6שhUXH#y'ok/O& 5SlpqG1RHRd+k"l>#M#Wl}RNjsFsbW j, "y;`qW|#s9^/êꎤ3v̗^J/hfE3 ;EWAJ갳jMט{\,%GJwGTo@ڽrXBzcWUJ‘+>S) ie8qg T+P4nBjc9=h$EY qO΅)s$e5*ۋLKn!!뺲74Z( NK.tRZ:F)[ͅt!vq'aqGM}F>d~0 75;>Eh^˓ O\j䏧|v;u~{O9YCђ̑itGȋ>>BӦHarzI;<#X2 idv*_iAr86}~β;ţsULNGKZKxZ