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 a7 t, ]/ Abstract-Hoare-Logics:threads=2elapsed=12.994cpu=23.460gc=1.716factor=1.817zXZִF! Y]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸}‡>DMgE`&ũL/rdFvpar5 Mdo9lS#<6a"}e  5(8&\S)Kg]k]^OAl,!ԡ5|EOTB~ -/")@;2]nRFi>VT;5?މ=Wt4@hiy/`nQ *ϚZ/%:!UNЩɓ)5J,fn"tiM"Bߖ{Fʔ6*]eUM5T)4qQ_{*Ztٚ]..%Mי |0'NQlpe~}DUI‡D!=7m`Lq>`ά˱ʱgYZ7zXZִF! FvO]ŗXi%6y;+~DM?DUWnS6x Q4 ;em´Cª`Cg#molQs&$*P0]M#uY1#C2P`d}Lʡ?_$@1uWO`.VimE^%T=BS9*ߞ~Ʋ:#Ku b`80f3dCB +MeL/7ꮻ6=U(!gRS!MM~%j*)Ǽ*QdqZ"Yd5sD Z =)޿^IP p惀C !lv@S?PoL^ܡӓcͰOV0Y LZ>Eɧn.+3ݯ*7l :Q $@#1kGV6PAˎϟZ')=?O'daA ^KgMh4^w)bL͖ϋt?1;uj9v5Ɯd̾3s(TV~8XNxm4r zxY >3Q RတTɤ/ _\`mz[rQ /8G}Ųpy.N PFL~P19^,K /d84 xښ%:|YDR R8.u/7|R(DX>7Ć 'G7Mc-%B(—9C.U~aGĬ&gDyf20S?8f