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 ' l4 ]% Tree-Automata:threads=2elapsed=32.849cpu=58.868gc=2.868factor=1.797zXZִF! o]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMkglSki~6?rhӿmWF,d7B@OSye𛛏h ..IPY0EװGx |YXhMԇG0.t [{v"$r}}Υ53ࢯ5v$oM!5m)B _Pۣ_>}t:zoԒA#k(x= PmQ-JSTN-vJ͗D֢ƝI%C|TC ;eh'5%[v=o~ڇˬ$Ƚ`81!a 8?7wĪѧ#vw&|eь::'5C8zUN+].0DHqhy7"q+ab J ~%!ce`hA_R"B%s\S[ǻ:?WBo/A sv5Psn#Sw>%Ea6]8^zoZwY~ kXDvM d'@d"{տ06I;Ԏ7!x_s72Xhw9Ռ)vJ *[c{٦pKPHiI2OQO鴎RvGKrLƗ$S`J`E>3K%&@pYS ̍c tZdwlY Dśalܜ-{qH6=*f[.Q~YZ9먼gYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~s;Vb ?K\t+_Veͨ_,P6nYtۑ5t[w z/U&s|Lůk9m,yY ^XMRz;4x7FJp:rOKQahUv`35q8gYZ7zXZִF! ]ŗXi%9#qo&f0CgU_UW2kȦDB]w{ VR9b/u4c~Yt l4]H,5 O\kAiRt4ݨw(Z헹Vj`)lZd[U/u(ER!l1:.,8Z^Ԫ.M $'OG^2? H"4kUTkmOf's\`uu=_ӡ–|R ~Kh?W DEe!3L{}"nUUgȀ,}_ʲlVX+崀Q73$LN8 @e_B@%p6MW]IkxYߋu [ j9|ެӪyJG(ՂX {}=Lt9Ij ;zSw~P9Tt1榊(Σ\7f Ow#nPR AlLr?wp|BxWtUqŻu֪.ېteFC'+D_Tk\hp "(-Lwq=(̉ҕ*`^ʰeuwjVFN7SMa^V ȭ#9d xts/n

>^c E7c57<۠~,qDKvߝ,ln$!0EGqdi'-s3Rs=Yc bT1^PsyCo@hs:kmkuK26zbLgKKŔ] #V=OPM_M:EG1{07.0s=,Y!K&犡;aN$ |~WBڲQpM gvgߺ?QFCHI/@ʌj(Cٚ4RHA( 4 e9f9i<mKbA| &?B+sgn7]pKt3>RŚZpj$%C&+ݹy{ΤߨVQd]\%kEh' 9Zg"#ӝlwsXuU$>z||Jv8tHi~/ڔu6N&J@tl/J[іmϒ0nj,