SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  Q7 d| ]]Abstract_Completeness:threads=2elapsed=8.664cpu=14.832gc=0.748factor=1.717zXZִF! )]ŗXf1-/6vRZ\vW>_u Q:v? ̚ <x] †ݜk {e>fkYNO2AY9"zKεӼ<p3ȼ@p|a>Ƿw"_NGhl]~{)cihl=MXy%- >R dmR^Y"uD#hRKiZ(_k 3Yȷ(Ql}o zHU} Mum~Ub طXgryFgYZ7zXZִF! 1w]ŗXi%6ȁTqIr}~ IQǜqfP_75 U$ݒaW|0${[  l Yтɦ|:t3N!, ủEJt,t⩜ж̸إɃHa[$BXWNRMM?]Ye153:}WpR+6G[?~F*&??[X7 cV?H0Ts,g%v-_p58t#Gq) ~{ݡV҇Ũ;t  {?S I\`__HrBVFN͌6 1Wv!B7iq]_]#C} ]P=J~eZd> n<,Ҽ^+a8;3u?e| P*K;o8ed'csk x3p-FݤAL-Sw:Um}#B+WBƊU鬀Cs4bCO)It*cD'0Zڀ6&5ƲoZہAos]>l+AZ9ć"`/<:#0r9SR՚h9n-|\1@t}LBPTd#|N>O9Q%Jds]A UZj@+KEB~ɣ#/u˷`: Qи;*Wi=N*ӯbCmЄ }H^*UP<]2Cn7Ē(j f%Yb@ݜagYZ6aea48a95cdd79a4abbbbbaec47aaa64a7011dfa72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28a3161c7fc350ba2172f861b554ce96ea431332e0 7 Abstract_Completeness