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  f-lt cw Density_Compiler:threads=2elapsed=110.937cpu=200.268gc=4.408factor=1.817zXZִF! z ]ŗXf1-/6vRZ _j 🁳68d0 Xϫ wߏ94xB9rI!yZ eu2 hy NhMšjgNi I_bl:d%"UUhnwG JVoOLsD}rLxkm@?\7qs{LjY;I6Oy_ m d%f!IBkѷ8+U]PObY `ɬ (*g/8\ڴt>.FTa)]MU\3d]c3Fw T"I~MF(՚;IXΪ տjb(\STcKaCDŽKϯgS6?1R^ ǻ*8sgRʋ3 `~`N`J%5Ny,^Su٬ u@y}co zí<Ƞx𵭯EΓ ,zRJqs)hm%8Fi^ h!i=Ni͵2ܒޯ(kG7.*@:%Ƣ,7Xe]u8IwX YqqFz:#光@:̡dm PR [lw[iy7va3j-PݩiE 'b߿ _k@:JE˯[.ˡQ?OS - Density_Compiler ^;H S e.׭W!AN'[ 2*3829B>[7`P8 X߭cʉ }HOu ҏ2gᔠ;YO(L{`zmxaݥxp\ZhO謂MV\`0|a:x'(ܰq88ȷK_j~inH{y<)E{PhG J3zd\_B}i7zg3MДՙw' Ќ ZIĒe\=t޿\AI,-k/9`K@ws"VTS}Cw]k݅9`BKPhoQAw$oGţ?(hNK"_.B:D x=ݾn0!L-u - ,> ?ZJt:nV.ؓJ-Ix`2Vv}']Z*?#}Ms\;մ f:d:[ajm'h=\pts(#k=p82\ ԩNA1C"pI%eA xhcavfD&al' /F_"Ѷ!> ]$y ( .8:`ZJnN39Ջ 2jSYmOSg*j稇8Qs1ĐQ-s$H!pXHۂ`fx9qb"miQWx=7-~Dt$#,XFīv(QIoY:LOYd+?E"XXF7n 8@(Y4NbSxMQZ 6I` Efim VxSs!LԈ9H:xk]S>DZ2Kyn6Ė{vD#Rd]j.ua#jȅ3INi4|{2&v2#6ei)lԒT hB:0CFZX((Z}9CMQK6| w|;k{l+R]/1f쎃<_ߊ%׷%iCt(.[(l='Z2*;;$MvigE/rYѸzW^%G(^d @7eD;~K1W_&bmQ@xTLKh0 X,?qkZ[5O|X%'M`NF 1h͕TƼ`ƺ`G^BC=^ o=$ohp^|;jk8ͪ"q%ȫwNax|{CddWR|lN*TT_L3E%uzI&ۍ@Uq8z޳3{DMʒ)yֽ[ȷXH⳻a'VEѰFJne/fTB5l#TzǓY5AJ⯑Pa.mYIQD2Gc8od7SYK(e8)]e]9qwʲ7,Poɩ$meB(Lm[78wizKy߱0w:sVpqHCB vqSbSљ R[Z{6k I. P?gSybPlxLW/tZF .o]Z1F^Fk yoPDC.6,kUסh1d`Hw;4oa\_bQPITRt?k}wNh&ဣ4?16ӣ #tMܻ$Eig5jj&_K+)j+q<0h ?(~b˪bJ.pD//a?aǣ@Le9Ӝ= ]59%6Z3"`zG'?e=~IٴzOX^~)} k_K]D%lxnӚ8uK"8e  wm`&ʇMkCl]Vť]"OHܘlVN6T֮Yc/X 9HO%m OMU793YH(x9n=L]K,yZ^~+8(|ffW 4`!h(/݃@! '@]shjRRwgC)-ũ˕oYV5Hq/PPp$M Pů[Pm4$ 7auft]f uB?YB:dKPEN W$=UL>!е6+CqqeUJ`F+'BT\aꛧdZ8냋W-y; ڕ9]2&bzA -P}m&tS;7Q|r4 HT2E w]5áEʼn%Qi6› 1D@㴩yR[Rb$SðrsT0Tu7T*[|ܺ7S".8ȏ {8gȪm]cOu$eU{&'ե('}lELk: <{\ɝ\n= @H -*ce9:)T@:} ;ҹfZ5Y(>(n"M(jx\S0iG}g;i-8!lFYo\W92/.8FP!9:j 팟1$롐9l7!pLSN5|~# ݽ@-}%k3ypq ?Ng+Tg5䣋V_DFPžEڥ$C4bx=X{4LScW=-Cf!23 goKRmOWpW<lv}-}U3D=}{BjaeIWP˛y_ ΐoumׯN5$O'7m #tמ+c W4%7D7r逄!+[fdI]ku %X ZA֕$a:&5eqn+OT=Ǯt1k'A>y ۢ*%/W:gYZ09a740a524a67344b058a0f125d3eab89b25b442 0fa55cf1fb33dc9afcd0cf9c634ce76c89e3d336 60a11a380ab3a5462991e706cfb2ce1390010e86 639202f0b3a45d1723ecc006337bca23fb81a7b2 63fa3959e2580fb400984df1c19930d8c7a865ba 7e26d02ef3af91ba95bb8355997d7b07232006a6 8eac43b65b248552fd5d873462376b8a6b0d2655 a651a0f4f8bbba262b45cdaa9224fd28b972449d b1d431cab36b16c503973d33436dd7151da7d9f4 e05117171be23fdcc3af20c2618821747127a6df f87415c62866c10d387349bafd9d9cc1a59363c3 fc5687fea63cdd58b17a22df0130ebdce8f9b40fb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 11947f4b2adb08e8af64993dcfd8ccce3f5f6066