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 ^5 ,l< ] Rank_Nullity_Theorem:threads=4elapsed=7.160cpu=14.988gc=0.404factor=2.097zXZִF! N]ŗXf[&&SfL&Ei5ZݍJ.Kx` dgܶ)sPJЙZ@^?7ºvrd;r L@ag&]Lb_ƖU7'R u{MZLOD $D4*'xUlvHNcÂ%wY8X[q^wFdp'ھ$2;-UB &؛?M,8An[l F':HR#F*C }u`|"şn8  xgYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7#dS˺fcl꟢cJy/[-vFl0ӻǁnwocg6sobI!7qzRTz"{Xga k7h2fpдrBwCWY!ۿ1ɲxCF88B~ʸ^Giqj]2[JgL fF #7(,e9OsLrlcֽ>]or͊*З/rj$FWJZ[8D4Xwfv&-$TѠ"d" X˼ޟד N0HSJdsu)|<]\o6J#Ũ彜eZ&QeǙȾJ'"PsR7w8nJ)4p 跇]c&/O80WX5x~'HrNܸl?ZEXWG $fxy`>xŗ>k.1&dXD;ǜ1Ek) ^ht*K/m8/zAӹ`A-Z2qN`S,r,5"կ x9:p"枝ؼm~x8ocrG<6-u64J"TXZIɛRZ#{ErlXM+ [^hF?*+yNz)<9(C$#Jy{#Ф;;*[8u5m.GUSqsMP}1sO4^U%wJ_~&­dϊ,A% l&[VIGj''?&rt=z;#fs-nԷb*=-ƹtUFO@M3OPnym^BsNwn70l",PQqiXB1W鱎T`O.Fi gYZ0c4d641ea2f928a260ddb672bffd654cc7890b0e9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 5 Rank_Nullity_Theorem