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 L  IOA:threads=6elapsed=7.200cpu=29.692gc=0.896factor=4.127zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[ng1:M2VQҲZ ޤk^q~TƨmӮa*0`?na:.>Ak>@hR!ۧNi8=жiNjt۳ Re(_RU?>M[bS JˌQ ۄ{A `B_-u(16 Ƿ ]&/}S E$Z qnFM\BlƊm%/ejҕC[\Ym~xPAMMxSPN17ۜ5nm×4;8zq,p e`'YPkgYZ7zXZִF! #6`]ŗXi%6#k@_t0Iw(r!}/Վ1N oAtEw^>)f:V}WsD%2Ihx`܊GI+ɱbDZ; 9 %FL]T<o8/ 0aJQ!@p6bF!2Dˁ/~g @FVa=裤kF{ AvyħKicLWp 'f{hX` v;BW/xǑ.Rj=AoQ M#JhBzR!Bn|JkTxކt6*!j.lQ"<P -ɂwģ>O&P@ߙ65a|@X9hfo{Gi'EQ9<-_h{ Ā̱jnY^nzO$U?_^*36ͦ~7ђg% t"5!Nwsdw(\FII+ɓ Ucp'A׻fG#nf(*cHBY %pUD dDaҘzIn:Gydu KFx9xTo@w 2![,?1]*%3'X ɄVtUq.Vn&=