SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  u?T4 ]]HOL-Computational_Algebra:threads=6elapsed=42.272cpu=128.044gc=6.024factor=3.037zXZִF! 9U]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(G/ࡪTk:v @e.RL*=YWt(81g5H,̇ j'we(OaC"%.k:hBz9{RZ`<{,<ҊUD(!v}3"zw4* C=ލ֏qT 갯H1mHWn7}Lm'.m|G:8]Pw˄)9ImkDkֈ諪. '-juĬ[Wl>zH46$*g`(0/R77} v9g<2eg$`dg=6o:/fcA<.k f]r@wOfnc8\Xʤ>Bl6RHv*J[80Lrx`rW(Un'WoVN;U;m;fv.zl G%KWw%EJt16H` uZw4dy;GԱ MU缽vqQve =Si@<:O䚵v#-KZcV(Z2P)XLi8 _R/az3Ɨsoj" Ov3k)Wra:q8q7 WU@VO+_L ȚdybGڀ `nPwpdα0I,vJM~ܒKsvħ7f]taD 8ي|rWJ9 {rȴ_E^ w=!VEfG& ? HOL-Computational_AlgebraOsn垡 kN);?q|To, WT$r9"d(YE?8cj!So9F*$>QC%9Cw̮YrX~.8蒭FJ5oQ)b 7!zvvEsS1 ,VY,ig.]WzhMyF)+(Wm<$&2! n~永{yfVo>>J"c`f~St5fD^ `KK%A0z  r{ gYZ7zXZִF! ]ŗXiɟ1:(} #_fqwWn؞z% xuۨәʦeQ$EI, Cs<;{!e &{|]> Qyțqyuk^C?!(SݟR:=empqu) 63l`5Vk;BAۑ_N$~} ^٪UhSLAуNBК(fVY$RPWe_t3! ~n0^/8e‚P*N ݴ3ȁ"^C)Bh S3Kۍ /`A3Y-)&O?̶&lVŊYEVa?3BUA<샱efGk}⪕9@槄"2R4ZI8^JDje|\J@ƤrkH׽ؚ缐/cuOHNoMI]p]xj![L mfdů%}ۭL;c!;j RHݭ‚[;<8+=_x)`{1:I)MTr@4r[ +,%^Vl8/ @% l]Roؙ2ƞ1-zC`6)رm9ʹQDc L`eH OhFExިe1ݲ:_NiWw;Hdt-*u[ʀR茠^fthy;* ʈSx|@Un#}E_ȍ>N;E`eVz Q4HH7濋fxU溷T1C@nnbu^WKBVի~@z)Upgo!p e\_FDxFXk-44Q &{n,%<\sd4EO͘p=l KNV:uI [%(kMeI￶?4jNo}_`,)Q XgY["i Lȁ RHO#C}BoYuTXs|hbrjYwh.& 9BfSek@!4dA;h$x ?WUcTOe2w_/ꗇ:.) wg#j"Qp{k[} 1[mf˱mzΫT9oW̼w@Ջ5 ]廜./_qQ_)ݞws:n7xw/}R L`:]N~okfmИpaDN9>f4ؠʋpߊ|B/ˊ묓1%( Pl{eSjHv@d#/W2-TxhoSj-#a x̓9XY!A fw2T9 9+Ҫ}R$ӡh[bk#@g;koT}B@*GYXP'j<q.%XOhQor&9JX9z }yaI8EːL+< a ck*Z=lV}eMI,j Q;_^9QZ'=fB..T:W<yg=ʲz JX4qӶy3,g-$x`st^3R$PX]Z6q[}D U \Ltԕտ.m0Koyw,x L)0PElDZ{5 k1s(CPvf m~g4@ 9Sp[~4먬͌ n/pGA$Zxx Z0tЋp.(~9Ί\La~<\Je=h7xeHe:syrlKHZ_&]edUA/ٵ",R~԰`B\}aͮ,] @؅qIM)-{osTLȻЉG]\K:Dqkl3iy@4!4Y.>V`|:Ό}BʯFТ]#!|HhLFFurV{ę?Z?5 zt&0Q_j1͖QX-/vFL?fE'BQ$3gYZ23c4d3cb2e736ff0f1fd4ef53a34a1a2b348b4f8ba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494 5db1b95e54d8648ee14dbbb91802b741cedc9545923ddd484db72a868dc8f43dc408c2001134ab90