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 ((U |L ] IOA:threads=6elapsed=7.387cpu=29.720gc=1.136factor=4.027zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K/yb B勳J:ѝ r$,R_07_o꜆_#˼dj\d>gc[Ѝ_TNDiw}'WC3U)iAR^)mU 0ua67W"5*ZRm^W:('̢:;žiHkT52߯ O1:JdM9y0ͫx ;*'xM=?ճ? #hqN}ϣ8֗'QlB-ģ#xt-6ׅh fͣZQuMУEE7O||6߲/b\6#G)-A@F֏R?JS"}`2T(-R뇡9amq.Jzj_vpF¯˫o'@gYZ7zXZִF! `]ŗXiɟdN'LvH۹IO&"pz?X1 TNPʣML-v ~L֪׾K_L* |㽸qĠlzNY{ƺt.j+HEy#|bܖЧ '*1B ! dDf|~J#4U8EKRlיr 4L<Ƕa-&%Soc.\)tFZÉϐUn;ܓ! s%J0^i\^϶K"yNtVTD6PR j7Ę8V#HIQk$0̸5b%ch&0I4Kz+ۖZ_J{ qIvl3tGXZ1/! }8C?Xw͔Ui:8^KI1p-tUAo.tP~ $ĒӊE5xUSS?ņtWy=3BBΟ*7ݴ=} Kui"miۍ+DhY:u?:/CTծ59!?OB)^!etZzd#+VmY\IÓSӑ___3?) :9B (:9IPq\\2YZIݿ+t3<.FڳhQEpGT=*Re+%++U0Y fk{5X͒.fm6T\#^QP(']P#L:)J:ܙC6E` A#"Ĕx"wL-)t;[Vj5PkȼK7gYZ5824081b189cf6f31533c6b36bccb18d580f2e98393fae3774b4e564b1026bf200bc8a56a06c6d90 57047d6b403ca17ea2fbe0bcecbdfd87177ba07d 91939563708d48764f37fdfdff7e18d7a817a917  IOA