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 /1 tD ]/ Concurrent_Ref_Alg:threads=2elapsed=9.712cpu=17.068gc=0.488factor=1.767zXZִF! <t]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DRRffMHsϴ+˲R sEi,b S$ d]QQorg Jɍ`O调? UF/=(=̔|pP:L~൫4PA$M̧}R$+*dɂG;vGh%'ɳJW<[$ɳSV(H?ASd *&%mgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu bJd $ٳ,kp/lvZYt/gM'0 :l(cR_\4Bo53tm3ԥ"6 .Dn9Ru|93+VؚU['Vm^U&8vҽȦUQ=kw Z7(ή2 _< )P&/uP/ ٲIDWk0ⴄ|7P=M~,cgZ`=lgYZ7zXZִF! ?X]ŗXi%;:4<껯NX&>7 *dstGhWP*9,U5_i `jG ^W\Y漥QNgcmtlRp醽%`aWfk];zW1']DܪBmz%٭z}s5d!J@Uw^~%6K+[|cpq^"OGOJ_--ߝfE}]` կ '?1)"![N-h~weF.$O0t`<`2Ad@vkɌ)P}E`=⎮K4r+yȍw*{(m!ˆ~eqr5n n9 >LJe#& .Y~f[zѱgYZ32f3bb98d122cfc1615835f43bf213095c5a095719483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 1 Concurrent_Ref_Alg