SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 OO.5 $ld ] Rank_Nullity_Theorem:threads=8elapsed=5.743cpu=13.211gc=0.568factor=2.307zXZִF! K]ŗXf[&&SfL&Ei5ZݍJ.Kx` dgܶ)sPJЙZ@^]r { L]!b5Wp3ckYo: Ȫ,WẾLzC HZǻyAZNxv~Jwĝ(- $m7R7XYPa MuqqG<1;A_70 pBs,G[N(1(N=m1{ZVL{]ޣ N'W}NݳI,÷R٬9T `t$ ,gYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7 2]d@;\\okk9t=Uᐖ` 4[6hjzԉ[5ˠԈ6\a^ yddc{iSY-짒5`!DA+cH4mTq\ș nOE͸;LDx?qУ$We|dZ@..qμlgYZ7zXZִF! 0]ŗXi%>t}rAˀBfCY$ZH!r~YĢGmI}^%lQ? >Wh)y4W(N5W#|Rp =w$v*|3`Yŝ3I <~mZ( ;wUU{{-^'L̘gM!X 99vt@2 m}w5&dŎXviY@OCGyXrrb@A ^-x2a]3ID_%^qF C rTߋ.8.K(4; Ej46eo#"nvE®ig& :QL5RbE"e}H7+ yC#cpF:ATE<4c`  9['m8# y`5M 3SJhqxu9^)k:']vMqHՁczֲN*\y)scQ74!4"}6C .V>8!@.hzn~:dsp#|]q;ydRaAe  W$k^dvJGS>XIg[иĕ@}A:uaPX^3q.ɨfu+~Ӯ$B Fq.4Оv}'[\"xJ=/Tu+VG (eOoRAZabҪHgYZfad0adf80c8c0ed79a1330daf607477ce9bca8d3c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 5f5d9af270ebe02ef506a6072735bafbbf70c6b7 5 Rank_Nullity_Theorem