SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  2-pd| ]% RIPEMD-160-SPARK:threads=4elapsed=1.294cpu=1.356gc=0.0007zXZִF! ]ŗXiɟH)0%oqPDM3qpPI:Ȝ.r)d3CɿEZV=F!ǧ-э(4yK7qyImqp?_=کWyx3+ 6|ӆ6<bgYZ7zXZִF! UJ]ŗXiɟ5/8PY.i#%(0#\qXZke[$,1^ro@R,H fVˍ)}YZ7zXZִF! 8]ŗXi%L&ʷTAI^DrGo^o!!l' +؄uwn BnO٩5L*?}3Aa W|| MB-LUHn.ZcZm}p(Q "ytEw Ǚ++uH5SHV{X@B-ܳVlW"wg21eHPq /6eƴWHtU\|D|"f)"bzENsdzFzk z`Hyf/$.LwMdmEF~JKQD^= R=g 3ǹ~->dQBA^Kz7D=®KMrGT} f ||͚݁[-g:9ӐÜVÿۂ:{?;2 >c_=up6i;ї~N3ɏ>K쌦6n=xopDۣaޑMlKP?a۫GLBb,g*EɣXC\,C9D US,NIi)τt 0'ԨgYZ45c68ce9a4037ab2ace8a77b3d04b7a1fbbacb909aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9162c9183281942654bb6ed6ea624a97bfff6718 fc3dd2f87cb4346ed86e55e67d7dd9e7b563eeef 3d40abc75ad2b3a0866855924a2bcf8314c7254a - RIPEMD-160-SPARK