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 66G7 T| ]]Abstract_Completeness:threads=2elapsed=8.465cpu=14.624gc=0.784factor=1.737zXZִF! b]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\²'s E_1i4[ +(L]'*6yzHW=E|1+j7$irzشsAWʋ.תS ÃU W9ak1{䊷[P/"؃6 RG?W{%3ho:Gp5xvZEPtXT0]aHϰt/}(:,Pa Gz n : ^`zmD~Y4iu!ꪙ:0fw NEj0gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, &bXCC#9<v uخ&‚Ad2밍L50f6LYѻyJZ7ˇ5d3 >0iF7GGB)IQ G^ mnVtyuN_}>kt&cV6R1UBgYZ7zXZִF! 8$]ŗXi%93QEׇ5̹)^VH,HJeijxGe7罗XjbpIi$eD˘LO9X/Tgɪx'p(K% >\܍ TKvd5Mj>xv2(4g"X={Ctk&3kDXQO78j:3?O2"P 悶'kdrD  7DMfeaXؑM^UC hx&2r(S,V#<$W]]Z‰@0}VW7?]6o [ 7RkU 93)|APp~=5wƋ^][.> 0ge8(8<؄։;K8gcc8$V4JdB]+>;]X\#2.Uh^xd#ro*qqL45 +u`xp4gYZf8eeffefd95fb7aff2f39df4039d8be31f49934ca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a2003303968172768e06eca7aecbbf35b5b6eb0f2bbc66025 7 Abstract_Completeness