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 ^M D$ ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.513cpu=13.672gc=0.600factor=1.827zXZִF! h<]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hfxHS(.5f'zB+Q4aN԰P%fC4&c(bP +8c_Py7>< +KF?.OF,t|9H F0Cˊxկv~Ŕ9 d*?iY K٘g<xnp<ZHɢZ iΒ95b#Pv٣lG:gYZ7zXZִF! ']ŗXiɟ\K C4DJ}voySE)mFȔEgYZ7zXZִF! 5]ŗXi%;~ wj\;2`m!u:'u+UO$MBou:]?g!)N`{ߔ/Jb:})Z 6vM͈ |Qr~AP5ifٓKܿ}6sçݽHR>C_eFN ‹bJz"U`鞕8ѲmoLP [r4|QҴ6sjtX,rzSN gn g~oBqM.#QˮĂӫًDL_aM,1tϋ^?GCԸ:z{>[s2 /1|EJ%l&٘GAՑbe-vx*-;귊WXZo! 0jɲc6M]'?(Ct y,VgJ^dj%]K+G6]M-ƻ~ K*M00X;ID*4Qn3<е`*jz劖wvNBvY??buM|c XĖ@<\MDQ@S\֥"%̥GC ;ӇF裦F (_2 T>$c_@:% T!i)?02 O:3%]tX굁ȼbzFTKS􀟁=jaXy