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 LL/ $d  POPLmark-deBruijn:threads=2elapsed=25.156cpu=46.644gc=2.576factor=1.857zXZִF! ]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfˏpsEis"d'Ӂ0.ɣLAja*y_LA!(x2 &f"~NrݻSUNDb1#NᶡTS)˵O NAWl4U#aZզO`#YlFm{+GʌTtO0Tɀ:`r*unP#ƓXw0~xSˇ1XR< / POPLmark-deBruijn9$$[WV2L@SyP?5F0&^r?gl:Q5V,WfKl@Xel-x! PL7j\̮m~Šh8@0L>(y`ԉI1]7k K,36M.6F 3>!5329~RtҞ>^1-_@kCX#f'c)p p#:N GfJIqakԘ35-3J7H/CO >)Za9qf 5RN]]OٱQmEJLNi!_&D1Izu6"kCevZ e<[6iXznt,j Bt4X%O.ɉm]" u:ќ'WKk<˓=rHFJk;8ˑMMHDӚ0!qbrP'Ax]cT=!A@ULb|aEIP_GJ/!0sH ͠O_Qr.l MHU *"FaB .C]=:iPރAr`{ơ :+o|s,x^Ahx;OQLEVt;0+9B5 9C1$֥ż?:΀;}[{!e\aO17ОKK_L8/3;$3D%'b+%ot⦱4p;.u_S*Zby`9o6SaRt%b,|Z{y{tn"oaͫ=^sV(W>l%*jÌ<} r E"U:z•;P,6|xy`D-"1~Ix3 ;Kϧ?Wk6 Yq8wYNq{y޻A4ho9+Ç 'SU3ܢX \Z2շATSErl5z s+%'BmNA3zSM 5rԲIa8%H [9lfhIb=> ߄Q#WSs6!A׊.[h!P'+p 2:/e/ Og]KqڐOd)orquvOuyaVZ=u;!wipAa Nco*ǫ@ }l](ufb.J1Ib2aE:˨2GdF}clh.k$4:v m3 mJӆc!VK9 *C^±aH.s0mT [&|ĕ^_)xx(Ff,)]xF^Gn& s%ʞVŢm~T!3CC^El,ʟ^dnC:x!1ϰAN4}[ "Hky#(Et=Cw!\g Miq2urا W[_#SSRV:5RϊZ޲NjjsEZAc`Vy< pn:Nb S2i{kgD_X)]y{̾U7g#^7( XMSlDsYދ"gkDiȈoqmqo~jn9 6RFph9E/twc2"UvddxcnY<B$YLn~<K.rTk)mgYZ7zXZִF! ,]ŗXi%R?|LVְkp]e]Tp,hDds}G (6L(% n*6h:W«yn29{#F$a[zg;-ޕOWGq" VU_Kh"\}}MJf(n[cz tT .Ş%M*\Qgb9~[.Z ÿ\ Oo?pOaʜ.*!Důp@|]}+p JiU攔Ύ,پ6;_(6l)?~ս{8$+1Uhΐ=E^HĦH\wk"]S%xU@X&O]Șl~#<' ecv`VZ4=I//|RWgbU냩pӓ*,f! pw,ސIۉҔ6qX?~"/<^8fR{` 9O[k(┐0hmżv|ڬ>MIIw(#0nl\$Ü#pӸQ,;R_]":v_է=K3Oъ/jU~JP#?㠄oq= =9$$9WP@unj So8]CJ;<y/$ # -hn8/'Jg{8<—S1r 3Xoշ*}Kڞ.!-ØA<ӢI>eփ+ng~ݩ /; }sḳBbw@C8A`rbM3ʝSs $52zVR_-Lا(n\]'CWf j7(oֆY[R`tq'$#_ i\gi 8lΟ/p$w0AؾɌy4 ESk`$67y-3hpZ!8$Z5+:ʹg]g_I]ޖ*I .'KmSa*T*p7)yќ%6fWtHw)6xBl ZNzV%q} TuwG.KkE_~pRt(㐍7v^;ƘAE@Jj̘SlrCw:P@MTBv|;9q.{b dǪ5+mD=EW( NlTuP]BLJ-Qgd ܃|9̯jۉRݤ!8^ꢹR9"݈\9J#bO+j)!6;([tʞWiQ5}5[I (1S@k?Y_Q~hqM|4{"eFe1qjxM̲"\ҙkd67;Ճ)ie{5!JYz:1\aa_B tv d3*f:K6P]"Z$  t4e~cGgYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea0107980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c