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  @ @=# 4  ]]HOL-Nominal:threads=6elapsed=5.982cpu=12.528gc=0.608factor=2.097zXZִF! y]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸDPBsЉS EEYZ|ausod*ӭ3;qEL_4xMײi]+;jx{?k甆f҉)Mj0֌^>4umMicP OZk7#.Co gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î>٠}! \Ҁ_9oU: (a3`I'{J}YZ7zXZִF! w]ŗXi%ʍ)t@֏x4C!P "CQ|p9oJoH:Or!7%~WJXiCz5H±UwKz}#`ݯ|ka*`(Q\6.ᾶr5'+ hY#|X4 ;BMp9bJI$m{ p5}քD1FVr3h(K, Pᏽ 0[?GM7 Se8cLz6>!p'1 oɀI`)=4,$d];j1zX_: w>KvoK 㳇wxolހ?A9 ]2`f(ζtEjIw~q;:XjkxAzJg  nP`05eg@Arl1g32 uB21] cGͯ (_b' D Fr 0ͷ̢ڥT?_LSTSByZ\⋋Zcǰ,אLQ}(|AD+L!8W:pWL4<ׯ9~a ft KMS3#XVA@<v˱gYZ976d4403f3ba474621d82446c014586a0b0b3dbcbc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 c85aa4bd2a6aa92c321b13913268c5235d4cf884ff0d42d374942134d8404e07397ad0c8c7348647 # HOL-Nominal