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  % \lD ]/ Completeness:threads=2elapsed=15.398cpu=29.176gc=1.520factor=1.897zXZִF! e]ŗXf1-/6vRZyߪe?1Do_O"# Go͘0`=}#9AÈ"ݎqO<O@/]Ju9)X(BtǀVTn\TCG"g eZfVD6JOpz]kwutL$S}҂7 mO"vgLPMt92gNd2e JF+ _13,|MNfp.mrb`dq.7W;Cܓ$3?X:i&YR*ތ(gxNRT2CLi0 b=Rq$ދ*Tp ,=2Cz⥾`mdBelJkԢ \|ȁM` aQoUW_? _ǃ[)S_fYbm)%+}jS4'zOK1wygc5dgYZ7zXZִF! YM]ŗXi%ή++(#DZ"~dLqw:WmY{ѹim2a ;`*OlF;bzBzhx tnƱX2&.BbjGNV1>@ gϦ(6 cy:Z V3v8+䂫C^Pκ1KDQ4x}kb:<&-3zyv u}-+7] 2-]ߠ/٧M Cb?0-DP]KYk(fhjyq91)Dtޛj`T0Ðۙ"*A@VRRFfx[3&4v 6Qap&ށB ʚ bN*c%Qz<:nP:(I.p1eTB,D#4(7rL4?Z.5(N+,>)7 1W鑮2rl}>Nͪxlê'^ހݟGBϤOTH-Ưg _ۈ 0I'η6ARNsN IIcCzZIG;a6N. qx-j.^IT CGNL|./cIJ<0-S<@<>cokE*ՙYF1a I-!$G?OM pxAv^RA K"N\l Hʵkf* ;I·3YN0!׫I緋I"w@_[,J3B|* DITÉ j1>ɟ&zK x,?2ȣB/.3eGHۓ5R  ÃB91-іX9Ktn Q@`sk\BRg?_蟱Sѫ~e$Nx]m;lFn^νO󨈪cTwn~5x{"0;0Uح!JoZsf.[0GЕq7g_faLN6i<}Iw /݋n'gMEr@^vp hMI~# βn/6gYZ31845ee378783e052d0ca7fddb1af50314e6e1e800b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 % Completeness