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 Z/ \ / Dict_Construction:threads=2elapsed=45.419cpu=60.812gc=4.132factor=1.347zXZִF! f]ŗXf1-/6vRZ]tE /U 7\Q=©DSn_MqAUDw_ma΋5?jC<ÙfG[~au a1#TP/ jdK)tg[p:Y$ښZ|@""' 3ƒ@4U򑬢fl{I°Pr";|j?BMx,} G\1I} Q=/n̈́g5brſrt ;1jԖ#m/6<մ4yb1(/Dž:4G=SA'тeB'8^U / Dict_ConstructionZ*.}z[xO0J)^&;؅ $RчS =͕t[YL;EOOl&eV8-X*hIʀmX\3<aM('$|r+D9~9(5dv3Iᅠ+ǁ݁APOKU<=ZكMQ/"ŠAJMIL%JOKSb!$Wvg@l~%jgYZ7zXZִF! ի >]ŗXi%6+wC.{)UwUqAbko>e֌8d*WGI%Y[p>a)*HFnilG; , c&Vb:u"Vꋥ\RLu7TZA . G0`Tp'GI}}\gDk@]9LT/W"d,R{6\+|ABJi`PƗon9_1K9نw3.΄~ E+Iy+M¿}%:iCe_)&^,PM}Wͅެ@%ol3#$ZTT8Ft C{GvYt ÎzDl- ^"=> oz#f8I|PG_}_X)Wdd1}~ĈNWSgIȫa_!@ %@A@`$dHXPɞ4|Sp]BUί iJq|wjsɄsG^3Bc3-Y* \CM{m i*|W  'xCF2@PJLfޯVKL7iLov"Z94bJG~Mds/zʠ,IUCLZQvA!ٮ[p^S =#"0wDQ7R%MDkvmR5Ċ6\.4 xd[3~=ao?hqdAJ峄:k&oq )xvӳO-Ƶk<0<]ǁnTf:&#z1ޭ)qRwD^3%+{(^bd|@6@Ύ~e[.^_WEYd|l(js$Gc *TsU^i,>vMH˶iS^ۏĬ,?ߑ}Z\)(Hj7MTlcG@2^j4tسًzESX8ZHy庘%tl_q__a(K\:ju@A{èS@N8&IHL**O. k~Kqǁ:1Y@6iM:D!o?>6=.P]}=UFw;ЦJP~XӤƼ&3m4]>dVFw"(8~t$'Py[ \2O#hn %5ca²})fj07`4h PK:tzا#qj/PPp 6ۘ2${6"wvLE._縯d ?q\r 0seak:-8㽦+gKXHޝK~6FJ}]6J^ӌ?Ls 6ozDuBs"7L1A!y7Y_d\o5a^$z釻¿- QSt}&cYbC j9Ne_8^%%:C eP&I\ X(R4*X_mÁ0̄W f1ȎC5=X4xFas2.ˎ@tP3^iaP Q*Gz F&fmAw<pmP-0 חSNR x=7(%kGy^YS8;3iH