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 Y]HOL-Computational_Algebra:threads=6elapsed=39.435cpu=118.048gc=4.860factor=2.997zXZִF! 6uo]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pn~c x\!QBMiXCsVto;/75 bV@zN-1c`Ir cS>k̟M>Nszf[֎/w-qN F]zx\mSTrsőI@繬pa`Di.[/RHLw"i"蹥m̟}C[l$~7l הV w` `}3E9?g(l%S% `b_ZzJ aw#V[ij5ܬYµ?>@Ș2wh(E<ɏkM?2›E4+::MTܫ_?#9.tp4|22DoPCU@ }xńƏQne쓺\q:%M$e:e,()r M)W'_2Sy5}uOWޭ*N,'?45~q ɐ'e(9 ;B< WvfYr|d9־, Kt͌:E,Ml>ڽNQel"gWBBGY~ 3Td^m_KWW`xQ%3\L(;fm:}#e R9ҫ&!w "=:/ֿT +-C鋶XzwU֥w l'%k8JGVi*kXƀAԔ  ? HOL-Computational_Algebraէ*FՅdeFdX 0smFlJ 4>i}0z:`4 k3n*̊ele֣Y5q^Ѣ*p'.e.i>^85SddT]e.]5=::>@&!s6W0 X6=x;W SU6.E]bh7=ד߿E. 6N;g% ġ/F!Eã,Lޏ͇=u%6ѷ" Ə0{ {lEe%mu#_|jEub6Z(QJWwѲK mp+/?\ !!X(w-qOZ"Jc}}p kހH4V:Rx4F7{kf—Ry~K@Z'_\^ˁ%ܥ1LDDe~QɜQS*\5pnnZ.  lz2"gYZ7zXZִF! ะ a]ŗXi%6kLڻG(#Ϲ6Ek ,W-L'(2^u#-u{(mz$ػEUἜs%Uu *E[S|; IfOJtM5N178$kdcuY7-q3ȉl6PN<7GJtxaScQS C`/ֺt %Cn ihp!#qdg  Al/c/Cx|c*XF' pu;K > EΞ()V^('C|Hw&mw3LKcybCSTQ}Դ.?9Gik ti9UQ'I'3 cfaSW)w9) ZSaԻdH۾s6{0`8D!`¬2ɐb~Ӈwb*[.Ҷ>"3PMH騷  a4*3ѓԀŨ`QڻLG7V#(\R.½J mrpP1A1o|dA-iG~7*Gx~{/SސOT ӳja7k[m kFW#eiOQ1A) % htl~ ć|=,cf8 t+2CM)GP-mXNjwcN>N‘wR h@xt I7UyRZMWAؓz&A5_tC@|:ɍ%`ur: rQ\IkTؠ8`^@ `y OUL(%|FMV~r3WE TmJR=ʹWWы^P2y&"Q0=NNƪtͧI0~!e[5DN~PFW2dyNwI]? ly ք:72Jv_$zWUcPykx$`:6;j7)tbXp-ֺm#??}\wi>w׭G e_RT0ibwBN{Ҍ|Mzj%_W[Ok\l;JH^DŽR?a 5%NUZ=?y--n Rm󢶫Χei9*yK\)$#ۋ2avL[=xv5F8@x cRu d E&h 589zN|:c{#SAc*<)bF)kR >QO:v+T~wS^nA1>vRe7rf)[] F<\Yoθؤ vtbh<';i0ˑkeB(U_g>AB5A,_!'٣38xBz;o_ C9$D6<2ݰ`ķg C<|':itO:D/){3BE[p0 ^h 2AFIp#_>9S^h0? >l_~ӪFr 0,v&9)%`E&Uw u/}Mơͧ`|OӷV[\sQV ;:B;UD arPB`4CfH-Z3?JtiÏ-YvmT=*'6&|tPPf?Ϥ} t7HLqaAf6?xТX5Ki( Rߨ4Иf&JB!+h !N1듯Qf'.ލՀ&)#l$EW'kPK" 7D]q] .ԓtiu Cbj\o"RCo9Ne 9ۺފ^' 7Za3VD"+r?001ClhGp~hsiyT6HRJ4~]kC틚g080/W R~A-N\  y*