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   s7 TD4 ]/ Abstract-Hoare-Logics:threads=2elapsed=12.796cpu=23.308gc=1.556factor=1.827zXZִF! ]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸ V/SS/tjqoExg[uX7ijBc֗8JOZr$OǂGYqs74wʴP|y%G]0bqTNC5C tCEQ/C\K (09NgleA3tBn 2R +:EjksI3;R5,ijb'ʍ%r&\ ցuK0~F>sFaqLkۭ)EXz0B{UM1vMKai k A痰t gYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hX^,*Kn$Fјb ])M7 zZ^h18gQ_b.HTўDj;3N0OWnG(}C 7N+!;`&-sODžS! !~l)*,byk닟p>pÏC`z%AVĈy'U$&2ը}8ks}H. @ tWݝ+;?$P̡)#dn W#yJlN]':5梛`֩%S #`"_,jJ.ç`ֽCRq{]rLCM@x"ݔ]Ug1^4*iAyx[2"a,ǶHeQ' ,fdb' u&ZDr5AJe0W}XڻMѢxO>k~}QRkK|_T¥qw.fl&M='˹+~EmO)e20a3h=k]f)U͓)|cX{egrYRG$erLJPB! ̵N.S"$J#ӣh54FYIhf/*~R떂b