SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 } t\d ]%]CAVA_Base:threads=2elapsed=8.448cpu=16.524gc=0.996factor=1.967zXZִF! 4]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5Hj ^& *^p]ce\v8(|5 $2W&[h;;k [@ގRL|xvr+l4+s[x*]';ݲdd ȥmBO麐ǹٽfV1IAA;jaB)ޯ*s,j8QHyy f>X;˪U=ke#s%Rq!FJGH2Ftoym<_ܹ<3ꂋ_&w+o[ 9(!ŕ؟\FHs y_K 2'=OϋaFVJ1lRF jm~ngxs85pDD1~^T.CX%$UEݼXtH8gGI.* ޘkgRIqDd=LIk"`CӜ3J_gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2e6Q*ZZt9GH) Ufz0JȍvWcjX3^(q3n2"K T7×5B\!H+C`F̘09i+[<7#aڲ*ܜfu)]nEu;DL=?HqR,d=[R4be$};~3=ԥKEj= Wj :gfCb?(8fj=_1O9zݰxT!93/_i_ISgɝ=7|p:F+@U,Ϋ[*hk@KU"?WF (.gYZ7zXZִF! (i]ŗXi%>g+ J}wӌW:ߜ9H1ILEiv{RcnpS0eS=zi/b蔓υkpFj.[tKl!J^@9.#($Glf~9)"W&'zuկ!ynmAW'NĖtV3f*! +x Çev5^=֔D[%!RˬpXx|"| x[AvS F44+x6s'O!?Oz$KKD^-U&:Tzt+Cb OsN3WD RuT z,Ǣ{Lnz_-to|}pͥ>ʜl03A`_!ڡֿұ)EfclRs]/<3Rs*j=5 imUZ DsxZw;K F8ʒ Ÿ@G`5O7m,^߾SW6sol}d!kQV0bqUD5o]!Rԋ1u8Wn@Wy|a E~SÊ[F>%w%LZ<:+ 5LUqjjiݷiDay<;NxGES'!󁫑 . Ꭰm`f !7hj!:ERJZ )i͵2./ .4&ݿ5(ϫ3`53M.4wv留0)4uoiWe:Ãm-BKHQgYZ808c33a8018ffbcca82c049a908519e78116d6c10779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f db425a9259037423f4e156b4720884a93225bec8 3fbd0146b4e5873479c687e1e5585ab512d82083 5194aa18b86f6ad691dcb6298c8a53536a5dc3e1c26f6feb1c215bc55ac7a4e0c7984c1474cab711   CAVA_Base