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 =?Dl ]]HOL-Computational_Algebra:threads=6elapsed=33.902cpu=103.088gc=4.396factor=3.047zXZִF! *Z]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrja| Ǡ(tB5쳳(M.~~Cj^aB8ceMtju$,KA'N+y$S/&Sڧ{|1m[_-.pg茰ٍۥNXMLㅊV *I݄ бj54z[ߛ`"JDJZQdl3L@}. N},-ߢ-CUJwA ;%(4 ꎼPf2Y3r\UrbX ? HOL-Computational_Algebra=mgxx lla͋/rz[п#3{JA7SCٰj0g$e,j>miōvalf嬼QPHB<+#zqG}U-?56seUL#rjT%l@=lxT K D@J% MKE[30> Hr7G~Kj>\_Y a.1"l>y@ؠ,yYn>X;B˱VYITmcPNŁ Ɂ',oTT,iC`W#NX͙󔜄!"i o4%-R| tG%3$n׎\HvfVEouw.'ʫ2dN;l!X8@VQhV:[h yC=J1_\)QHNK8pf&YEoE m2Pnx2{i, }1V iIcf4QMz_Ť&XNR${ߚ=yue\ۯ !m@ 5Yr fr-;b 6ܲs?bCUK1x߬Pb-,rjIQZE]DGE]=zvKR 9*qk=ma/{פok N1cPK{\%L*H7nUbV5g| I*6fA!1k_iX`:(-J[j䊼D|b3hUg;gMj4?[fbGE+֠g#iu A[d(4v͓sv!_JMc%jZ0>y ,5f݅aѸ1Uht]U[oBQ,4*o{V#)6 T[+ -%AIhCQ}߻w?H̼密tEYKbl2:cy, wOЂOiD }Hx X-.2uVTZ"-Ulrq9RQOBVo :*IzLb#vLŽPBb6Ay5މ # B|P)Paщ2w#D=7K&C٤}/TW_+3>H] ;jB^?Re !zXBa3yJYG+q˓<@jz66ȃsC$%؆6hiu{d3ٳ]hJl:ӎz>Je mk_ l {_ XeV8`5joIhvjwy|2UlWvY;&7jHJKT ޯ3#,PȀ׵k^2 f20sO4 x〓9 jTS}iԊP³nu}[iU7-x37oYnCgJ½@yL48*(Ȉއ FQpQb!f 4z%l`6'*S*8X綅#Y7 < Qg@tf:"h;kL35g,kpn.R ـYYqnrvjr­iR*⋕)/NZmnա6 h{hIM4]䫯\8tǭnQ2zNrD@$'CqlCXY&- ]98dr2(C\41cd >맚\