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 ?tD< ]]HOL-Computational_Algebra:threads=6elapsed=32.462cpu=101.768gc=5.124factor=3.137zXZִF! -]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AKR@8#>+oS]hk"  Ak9 TdFu"$(R=je ,?ʴ ^:tw% ׹rm(bQH58Y3TLQBՠ/)\p6k,և^̈́V Hy;p OKF{k,a+ 1e.-"8DMߩ>p/Vh1>ClM.[ ? HOL-Computational_Algebra/16""<݇5eIJ>^ Z@JˆeZ2!!k9OȻ&)}T~]OkZȞr\AB'*/U"4>I8:E7mGaF~*kz3p -a,:M5eܕ_ǹB%Y3 Hȧc)qo;\~OŻݢ ڌPHK6Uj)X#Քb_0߻ⓐ⚄ y_FNFPB#SeF´kb1z0r+6EIdj\nBJ-t߱ ؚ10sjGL$.Ҕu|jh7yaaI Y[*5/OoːQv'=S_I9&f7\"Kgӄs~Y:עdWTM *uWeI$696K"$ Sjznu@.Jb:4hyZ:k}0\U!Dv3%'QlG6q!S|hrM叨i6>ʓ E~΁WXvrE$.z=~a- {dN8pG3+3-77)tPĚ2j8,r (ɟo|KCy(a(YyCD_@e<F䗨)$,r!{3Zbڻ*>3.yNnFXYj-&Yhʵ_>1ƹ*RYGk~L $7?k=X7Oo;D'  bL"#Nb_"(<`Qu [$[gYZ7zXZִF! ]ŗXiɟ1^Yz`O_7<~,9@Gp'HhC-BwЗa5P͎~SJјE?)򈎪jsE.Mtp볎S<( gYZ7zXZִF! \ ]ŗXi%;38pɋNgl,J>'|Uy۩&dyW]qUzEjwj^3iXC"=mwO"j>+:pѿ[׿#jXȖB أ9D2-uw~EVA\`/!S{zx oзX~ăm%``KkL+d1Aiw{zZ'E5 U9TZܓ%?ݤa\TWB߉N%D&ф'В1J[BO3qz_/:D-f^d)рM#;l^'*yT@)׾ԍ@@ޢ:1%*=5qWvU IxSeS@ubd7fRiϛQ95K% YJп/lt;Ygz.˟l. _-7"i"*_ukӮkc!dpv^Ia|dyTyϳw O$C*S4x=0,oOFKuǤyMP/Yd5*dQJJPH'L&>["0w'Κs?ߙcd R 'Q+9vh";a`~ɹL_ cۈ}Mf n!wߟ@Vq_QhYn|q&]@BO_H \j:1daNe8"L ڀGC(f%9(qKV^9qAVOt (%q3/|4Uib&DI$MKϿPg޲ICY?HTCAX[A]#|)9o7d> ڋ93 A˸R鷨GgrjArr ^.Q3 9O"Ar]OQrk9m׺iɤv]D256sH\ƸsGngL4~.Cua6y0A b?Ȯ5$z] G\̜(WuRVjb)k/79p{gGdߌhTdFS얟z%;T-L.:>SeP 47v?S~)%u~Lvj1$Xя=tʸ|xe' >㯦!'5mRܳ<2Zy{`G|Qi`9i"4l?n%t0աo7;a7 fArS42UnLUzgɸe42>x$VptsCJJPOt\6 si G]}#YOJU퀝>XR^bkEqZ,WJ \NiJ֢s*ED^IJof$^mD(St] Jv?=e!VDut/;O dqkCG'_]O K >ICy |ȃd c⮸h监kuF@M$=)̈V~mxz@dG5}d@o\u dkuj/==dފ (i?mwQc$9]1ŭf%#e"Ac^\,y7]Jt&un8Нf1.Ѡ{,~/7ѕΥ] Pɥ>x-`o=ܡzx=^OBk5rJks>j,3 tIex=