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 ++R5 T\ ] Rank_Nullity_Theorem:threads=2elapsed=8.126cpu=13.072gc=0.444factor=1.617zXZִF! b]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݦ8H/C[cae pɤ7ԬJo%1/HD{U՜0̼Kh&^HGgZχ&\N2Tf0[ҩ >ßFʋgB,y31bj'K\jAÇ_G7bn :Ftr!C\)DlfC Sqo !2S=n* J8Me6gFjGUhn>хWdf]T_3*ic)ּ `VgYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7 &?0i=ZŤR{l&w45YmCFg;H\$?xK6D%Jfta5qʂ Mz:4zҚj}=dƩrFEM-_MX2f/m+Ts\дUU,B$l mW0:!"~ L~gYZ7zXZִF! 9]ŗXi%>g]/!P6}*Z%`R/<@j\5C!(q6z\eFC",ZgXf|DU[CK#7-[tpO =G]fntO/I%й׬M \C@vᅀ.b-M8{6*46]3KCM]ytO[k-S of7GsL; @jImF+o11&q,4[`\7TPCr@9Ig%Fj71xlO HfIgóMothtc:S-\6DAR^~}tMc6~2C-Ǎ"%Cӧ8~hCC+&Ret'8T~H곺uX%TdAkj_g4l|l,?Dتpûe;ҴdϦ|[4fHKD+*KTzMz22 -/;.Z`Zjz3sBn;/EqX̖sigYZc5258554a3f59c08fabffe82f5231422b8d43e89a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 5 Rank_Nullity_Theorem