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  @ @5? DT ]]HOL-Computational_Algebra:threads=6elapsed=37.639cpu=112.648gc=5.652factor=2.997zXZִF! 0]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Ih:嬍i&RİW =uuAnHv{<dA}[Do(M&(8(3`l ?C u3hMCB3rLùE󰱶ZnɵOUR|>C#X)׻z|xR_993SQM;ҤA d]S, kSk 9?8( GwK5荰>s8 I=ܓ홐tSQHSCAQLT~Xfe0g:;-ȗ>\Y*vPsAY^/@(Nnnn,bK3{?k)x0wH+RY`A#fs-.m'BLe@ZLR[slyjg"-^%/leOIOnWa}ݵѩuO<] ;س*Q%cE;؂}\\ ? HOL-Computational_Algebrat#kwPm|\$#RR -"Sй`NS쓪 GDv,u&/ӠVp[)\hWJ&^XȴjN}燽<,A=%`EAwFq?fà|H:yuei_Ч!W0~q:z9E$-*'U ԻcYeWӑfu4p"K"4=r0P,{|cHD8r/sV昫{J"~ح|{Im@F ~vք< P_XQ@\vZY0i=i )N_72YʻKo]6"Z@3MPsW@&@G}}t'F2/0}P;>.^IP6L0(cێ_vfˏlcMS\('Q') x>+CVdD;W>*ױ;Z ە +K=r~OϷ4t36ד%ZyɃW*Qӧ|H+*Dn0ZGoGʦMzte }15xf a5ڱgYZ7zXZִF! ]ŗXiɟ13^c%f9.B`Q%5iX>7;c}#Ɏ )(W?*F-fb}eavH3GxF wٶٱgYZ7zXZִF! } $]ŗXi%wBCxJiHXpvs3dWQIAC̨2*=.Wn,Ќ5\du9h)mxњ4 1r۴/s,J;/={!&;bڻ aEQqc=@B@Sspu8O"o2Tb#Dϑ+u2=M^! @% %0?Jfc$Ggאugh5S]a2~0^\FےW0(K%iڐvv:1_2+<ˆ9T]qP@i_p׸.|ͯK۠!oD*H#8yx>$lJr^ū㝢G, 8Yޢ~WlgK7kpCd00;JöR^Raot"'y%~4%$k{Amht/ *̱+IB̺{VVݤ8b/R,P3Jxԑkm &Y?alGl2=$셧r]1*-\ LOJD1c)%>.CVdsK805]4Gp>yj\D3O~57$%Gd_57ܐM]B'x&RxMVJDE!ja xh[@êv oqKÉF`jw(=ܗz,[KVr2[Hc1T͉ZA )VnM,\7Y>c^Il풊ox&y\J xmP,%H3.nUr}%L82v1 p)zi%h_ qUM~F٬7IaR`" <>p"Cs6TB7#(-FG:^`݆zLGsk6љ9`Vr0MM!lei?VOQףUѰr)/'L(awx9'T*K"ysNN!!H kdoدӭkߋq^ z5A)5؇"&xv75+m5ޔ44Z*cD׶Xp(S\ik_>sr,7F|h̺a2Mqwwmm>p@Y/q_$`!Eub(;_S #"a<"g!?&e>,nJECDu&Μg'2u*PQݸ2An;Ful29pG^OENp` vUʳx޵_7m2*pKո?3lNW= nez2c a $٨QO%0sq܋o)]B |r5u֙iF{ӋKsW=I0Fil싲4II&@EdM Pٯ[8hF&vJ-yha>p*h}@c#M댃;m/ٯUhU\:XS q0 "1w=v~e5)*%9Cy`ѮmZÝ1ZaEP,2 7o1e}/&eyxySfwhtmcE*I 5'';>`i^<LL+3^;3F$$x>|DR_&hlG y^6EB]~߹>VKOߊ%h.: [8Ik1+ٝ