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  % tD ]Regular-Sets:threads=2elapsed=49.653cpu=84.276gc=3.408factor=1.707zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*_? Zc͹y >_&3?M1X n@Ac N^ R}*( I&_%EFrG?ԃµ ѷZߌ'/I \ #-Y"Kns 'bx&46%8Jݖ(MonXp0tcѴwH-li/T;pP䨱[&qR5]ۦ3Ϗt5KD /{r nޒ$3j|U/#y` NkaF2P1F % Regular-Sets|S'OK&z. RWĒ=]ߖH%7JS7*b${Z+ɜCX(⟈x>I<'+T.5b WiWmt:|G[7=-au_[ }O1r%N92vÇ+xksil Ę> 6w%6u Yo;s }# {J;Ȫ?깠9&W2-+ɷM9sI@r)t콘[~= p |3ơo ]÷)=49уɠ`%n3`t.5v8+vwvMMmhaa%>9+` R8~5,NB{n:"`hkn g.[ !C+E`1 ]rI?Fxj-t6H$Zet vZH2li@ka_=ȉ9, |u\r/|7 t# 0Q;* B)R$@kzn4˜56QL;bS5x!ZV)K4jA吠U})A9ZPdԳZ0Ki̧DXфdH|/xɸE>NqFoT\ewUw'{.UL?B`m: '8$ pTׯNŚVN*>Ss,\QyQB'Y)ɛ&GK ̺'GzH\3a?gEP Tc╈f]_j1mNdQLŁK'.XLF9}F63 *qo+4;")߄E{lu{.,{{,`_#K?;Kv;ݴ@“pߍsL|!Dngg*DP,o619tkKQPПv99+B>vIŊPP3':tZ8+ȶZ=4Fa|m'`d%UzEV^wXcXӆPvғF,Omz % UVBY uY6XXFuylH9fvjggb6kae}s--뎔.d{F}N/f{0 YW6GJ[ujtS 3Cvn؉>S$; )D.r2W;܈$8i#ٚ-bܲ]^O"O.?:ӻ\m0ϔ KE/*;r[029'1xw^jdl͵GF;*)DF0Yl$:FRU)r?:\<'&Vf~ݧ3bA4V:겯ao?kJNURgv_P d4_6U_G^*pqKJˋ"wLV* @k=t5UGer5$:cgJB&.N_&ouf5BÑcC#0.wq 2L̗뛒]uxgʁ˜K *DQml./|ښO&nEbZ8P||󳺴3G/oEz8 [}WI5|mXEݦ$!\#mĥOX5 E}"--mQ:[g\Fgfd9-g>Vqq.Gߡq B ZIua϶l @W*/[n]4STF֩X}9V)di,3ِ3'bYW)Ն޺pxe/m+wuJқ(la k8Q,8v"ї/"i6>0*WulA&\_|{1=U 6-8s!PRi