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 bb7 D4 ]]Abstract_Completeness:threads=2elapsed=8.337cpu=14.248gc=0.708factor=1.717zXZִF! f\]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\±O~eel@l{Z4᚞JkdJ|ul* D9CN\('Cmjx/aгa Pliгљ,;U eϻ55Q̐ē4LC' roRrpkӛUy38gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, Ӫ!߆Rɦ)wczhU4Vp\šTjЊ$^QRpo⛑Ԟ))^SK˺E6cLƾNͮjp-Y6T IrcU9ff㝸#[VH1UBgYZ7zXZִF! 5]ŗXi%92)Zg˼$PFL y`xEym7F6Ϊ="ؾ}x cuI<^ڋ-m6X dQc ᛃt#P+~g  QPZ^½/XR"ϽԇRٽ'.ah6 >Ϭʨ '@-׵ MħJ>g& OXw1h@/?-%2S[S2N(x݂s0C3a:yFmeU],ϛ"{}oXZl3uLֳuV(HL[VlMMlS fG+RkVZՈ:Ng~ G̶P}(7λ9j_jBT|KsD~T{gKڦ}+ƆFvu95*BCd`p;R{waˍg? 8^>`&f#B|^UJܮ}{*t\wP*faVMճcE͂n~rqXN5Wzn_XuIM8֐3Ǫ.gX-\%Ņ(>OM{M0\Jp8̞lXs@PHvc %lV ǡ+n)ZYv}= rH#,l/+?!fDcXCǝ 3nӗ2hQD_T>Lb*p9]|mkOnKK mg<8E>~y2ƶIWJB5UL[)OSlsyJ[uE(kA + N,2&#Mo?$dw6Os} k9kgYZ5d60963908a34931807926990893b68618d9672ff4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2d01e86397a77386aae0a59c5840e3634fee0e467 7 Abstract_Completeness