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 55H? lLd ] Program-Conflict-Analysis:threads=2elapsed=28.478cpu=52.308gc=2.320factor=1.847zXZִF! /]ŗXf1-/6vR[3 G-y?%9POHa: ~J S<'`+CUφdͫ1+ y{_qMPf\ Tx ,qVd~W/Y薥!QV+J9=мupH@m e\ND yҟ0,u•Jv:wl݆ƫz?j6F ?xPZbײxXLkZHxih3`$b{29DQ:>gJbCCrځqPTNnRG6b >o/ ~#F{^2һ0J>\XQ2o )㚊`aen' oֿSc{MKWܐHիk|rIڃ *~q93y^ 8kQ K22A Chgmk*bz.<>ij2gHz`A^F?ˉWT4OH 2νb l"a^֬#|TxUO]a$@]ck.Z+TAhñ-#է\|Wlʷ힁"˺ ~jSągBjLسPMTW2ƴe&usW3_VY IH* [n`~Aɍu6ce~3 "@ 7r#yS@b,x;XҴ&=̈́g|#[`Cy n`c4Y?=#gYZ7zXZִF! ]ŗXiɟ˕A;[] VmTi{RM9%9sC%jmZ*`Jt;-+zm>c bD i[jSC#bٷpslр׷4T)SgzxPA2xd=\k݅|2,vIE{aFxGQKriKRsuYȂ pA?xkCUTTjJ\ :dFGXṇ̀BMw$\ gYZ7zXZִF! m]ŗXi%9#qq QfJOyr(%k$왑km, _ŵct|_1x.5B]o%k5TFkn̶TBr1/vVLЊUIiD3t:4( GF΃NbFRt=N @RP[M&H)lغE~vLӝ{֡?\(B &"֩˲K)!H-=l^ Uŏ>g"i,yt4 mۖG>+z~EԷH! TY+ᘪR+|}ǵ/d}ڡ3( z $G7 g~_.U8X9b9\pczQǨ.Z)~̽r;D^G^sT 9 UiS֠76]N29-ڥtہ f[GHT`G! Eƒd|ʑM 4)GRA^dWׯa*;,C^:/O} C7}P|h!Qy1ټQUBZDrhH<.7?Hk,FMk{ ċl4}Rȍ&THS0]Ob -)#$ΨiI *NeT%Y!Be<؜́DH0%8 ,Mi ,C;ªIUgYZb3d682f126e98c4763f63f3e39bd67d0f7f7f8c88ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c ? Program-Conflict-Analysis