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 y% tT ]I Stern_Brocot:threads=2elapsed=33.529cpu=53.328gc=3.484factor=1.597zXZִF! a]ŗXf1-/6vR[]ׇvb1߁ݶtB+ў 8 Q֐Ko"#w@]:(rZӱ[[cžB\RTB"(J  |8U/nxb똲]1qIwMmʰLvs![A"qcOA,5 ^…ZKVg17&0GF,k"c lgYZ7zXZִF! ]ŗXi%6f ۂVj%@[31x邧ZYsrzw[om@O81Er8]hڛ_I(2vεsfȝxS'Ph)jY(l3_buuב8mAYZ!D_kC%Õ'4){$ !u2J.}FJӉM +UҔ_nTCiK Mhp9̅qY'KCKhCB4yg(W_]{jٕqhzz)U .KHո]2[TrzP*8+kTp>5*,;yjc=L_lkkGV yuYyj@}#~aZSؔ: [FjP7%RPj2eTuL ½FNGέ^o4>_RsdZ?Z0v}ri'`&$u(;"$AxxRpQdha;,wkzH:$Ҭ"%oC1h }x[ݲb6څU щרI,OQ${`%tK8XR=eZFT[qR׹-R.uL~b7V͠tptlB6tԽH`6 U1ʏsF2_1 0t_)| M~o:ؖiA5υ2 BT}g37Kon8=|զas}j!>=Ӗ <F"-i?5[lQў`3 l்yHnw!SjΦցpWرvu^;vHhgw|u„Yo`MnMG5d[P^kV4֢uqkPn 26P I8bmnڐ8 :&mw)uH_^Q B5g.ѭD=tKq~.;\5#RI) >@ٽ}i82 YAi{ʂSMʤ`l{ =axϔ58 yzx|K}ա3fⵃgYZ38f11872cb768d67ef91eedd4946e7b6136378260a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 0fa7088d9f19fae2ab9dbd0277752aa2ece1ab75 71b61bb1af1b6239c53bd9e18a9914ea83e4037c 14d43ca7bb35b110baddee845e9bd1dd4bae81a3 % Stern_Brocot