SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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  -Lt cw Density_Compiler:threads=2elapsed=108.630cpu=209.620gc=5.392factor=1.937zXZִF! xJ ]]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ94xB9rI!yZ eϓD[ݤ=tܧ_HAw+"zk_}'`vZ p!1{AX34v վJIssYZ|xJJ<H[t?T)<}͉ۃx>$^eRR=1YV#_ȝ,dz,ޮi {^bPNNfs65Nⱙk-wtvơA%ʾ_ÊLnֆmފJ|yqkikOaUT A!]lF  ˑԱ@ͳg. Z]^/&$/*yf7?H rLXCj6sh=^!?\&U=4 EN,q蓶S"q̞>~mG'ԚJDq6[I=d4!lme5NͲWu#`L4M3-zwD¾Y&OʯlpC/$8Tx4$כ;Q]eM\B})E]1l-eD_ȩQL eɴ.yK'`=K7Pa1mv{WSXf(km+u^,5EQݺ 6*1Ę۟&9(D{"g|" #܅w= m@ᄎY4q@ɭWE*΢nV.rW( .އE7me4G[ʫXKIj}] mp|c< 8jiIg&27Bk>]+5)O]nr C!NԊᎀըCѧJw׳gwVJ{i1 MD)NUS43a4jMVfc.5\]'VJAe!@f2֕ Gfj\(i/xt+fY:M7ڌFMd'7vDHNG肆d#dx0S[xycal| j%8rs F7+t؆,E/Y, ZC|2Ѱ:eB9 z \VKz6sqUm#? E ˹e1LpbPM~f%qSOSMK̔kSoի\?b#J ·X1뵓;Sjwj^t(j /m#nOn`*zCOysr#yDԡ{nɁш R/1Dhӌ$H .t\"BOD zܨ*4 >^_(k؋CD" lbsYALWwc(ۯOij2_cwUG +{؄5HAra(:AcσN/)?=+ac:N0kIi?\d2f,uzf0&B:]tEV*꜇m>^?]gɶp2ƚOC CNs/TĝegS߯FC'GRF@Qkwah%8i ^t- 7+%v1k[ֲ; \U"Vه?La#8?a8QͱdF,[Y#=nc Ky0Van&fSWe ٝv6Yį.Nb;8{&Q ,oOWB+1S 8kX xs{gYZ7zXZִF! y]ŗXi%6pKw)N1kB&\WT@/:1(%p$P<-Gdl?c a/*au>_9sǠ۔ͻnsҒ¿.P? S\Wܝ/?p^0~To~%pm/{쟏Q`:bR2?2#1ogӹ8VTx͜-a6LC;vwztA@? :{)ׄػ,'[Ÿqw#L~;y庎]0:/5q o(vJpvdDI} [a͊uQs慧舽ky5fdK[Tj2}'3}Gn؅u-+u&šܑfn8k#"R}k~1KNѦl$_gYqfQ"`A!ǾSz3&щ2UQm_?# f\Bm,xvn֠""k^ X&VaPќט ;6}.q4&X: ] ĥ5j Љr7jsОJJOn`fNNƞnj%Na&|2rV>06[]Xrw+A;Obh,)cUʤh~bکy&NpMMՏRơӤ]\+=cj^S E啿=ڟgT*xj955OC@)n9dWUᢛ <ˆr%;|A?h຤?S챾K0AJ@v—NR*m#MZ@U s/+5?*gc}g,%>$F; 9l~ܷPhF K]K8˦oȹXMyVg]OeZ+\L>)}^ ]^h- UWd:։BBT} d}%[-F|Z >☊ލHģ&FlDYnU¨c _)#%Qibvo5*):urNٶ/MQC'CvN$ԭPm9T̃b\1U}­B(DB%!H5 ο=޷(Po|qsPv6Mc5#=$c&qMseA6ӛ٧tSk`@n"!lQ3 um6,b[g6?WXflAp2jEtRpb(#=93 /U;=H%W>@O^t 7!ƕzVW)Nz2:mw<R4FLy:mF(H؂'H5@hcB9ja&ťHϼD,v7[.q]T"M5P_̉}Y~5z bW' De2+I`l{}7Sˢ|!M>Y/HzџtHiMJnpQL]VF`sRnbɈYU*\/*ʱnO@ʼ]i$"u/-A[wMU. NcY5C7a"(x \:uu '{'̙zb h5d<z-גx [}`֬ prD[ֽt N;ϟR6h+2)ֻdZ>|ϦIzğsEퟑ$TѬ1ڵLr=Gl1>*J|=8n?F_iKR^vUѪԧDB4BUTh{l?K!ܩ#Ccǎ~R\ij:oYsCs?Bf犮Q8KYz`t10(WB-33gU0FzXOD͙w: -wVkȑ, 7ٲ;bz6ZocƷ5\ьz.(y{-~EVW`:nዙ|_[ 5Qչϧ09>ҡبU4ԑ_Vt-eS+B뗿Uuy"͈JJ:8 cm\V8|F?PaɆu%L\>-r ۶L~&CS.~>#`e믾}m N$&V$5Mt`msڷ塞ЌE R>XD "g[|p`;\̷3ܥ#x2{ 2>O?>iCi6 Y"wI,Uʶ =+șnB]8ĖLid꒶Mzi4!jm,o˒ ,OW[ݬآ-@Yu +D3{MӊE$.87\e-ܾs 4c5Ռ`h<={P= P<譸FuXy]zTo9ɤ[a}|5/Fq2D|0:p'Ig V3 oD݂R Mk'^d__$|r~RRq.Z\rխR>BJ^ 2fk599t,cLP-xEs[ W2N-R8K%'Տ *4zkK]AgkϺ4!*h̼7D.'ZH[qvfnj[F>51%_m[DQ[13-4GMۧ9B|lmRU"bIE8SVf )> rTB j TIQJ Pߊ9 j̓ߟ;-P ?zԕ܍,:+1喤B2b8EJw0 jŬf5Cv=h'E kh{z0E5&"r_ti{'=)AI ;F*qT&eL@V;Ew(i1A&lM=ʬ"L 2ĈHVLBi@9lqH @nkx09hqEyx"tNۿ2ͫIkH/r&/X8c6 ݓ]rFi;k\GwoGջeתꚳ='UFYv eC"d&OUm`!Aed S.u{IfFfL$lȸ.=#~#XJ؛bs,JkcPt- s51zx]&^:C AT}%PqeKHԎuA_HT [qA2G3/ZxNۀ(}<$#FE*}(}k2mް0#$ĥ ;QVQߋlD_;%.%iѳ-]'oR4wEW@ul +KlLKq2Sh3$7rz9!-esZrXҖ