SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 $< m% Rank_Nullity_Theorem:threads=2elapsed=21.555cpu=34.476gc=1.272factor=1.607zXZִF!  ]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> y"x$ 4jS[ 53}E%G }DҀg~=ӖaO3aF\ws\ko/˱ / Ƈ"]h9I^o/J Z@ +@x$Uɋ2n^H"Vwo=yL r)vbd;qFy9As&G Qk a(=EdO(תm¯BR^L5g4#2[&חb;Dm'bS8 :0GoK#8hR&. /XIz:^BM4h8_Y`xе6v),-i*;7k0pAYT/ǁ\])R8mW9܎P&UuG^zXX4i*-OKl:gYZ7zXZִF! s,]ŗXi%6n5#'U$R?`nΩ>tpݓ#TY-U"'w+;/LqCM p" B"WiXN68-<7N ! Wz -z6x _N_Y&ٞ 1-ӸAj&`CXlh H] Q>I-9i>`BRQTvҔ>;N!ӈ FwܚG\!?Qm}ÐCa!9\ujɍQl䧏׾cx Svc2T v]cu -}<6#PPAJI^i첛/aWGty:Y{XDEq[hXI ^ npxNjGZ#/^2PU>6!S[;4҇;sS{'9<$p|A{GL;jl<r<8QPUS:WOq.ې'vd1ݽs7Q^QҬm3j`&Àr o,FH K( #dmOҋO[Pwg]nn,N ##~aᳶ)^]A4eCyf :T1zdvB:}OyunWmiIݣO"jUz"B>Xg| /Ia˶0@x(;Ɲ=StEǤ6򻔧 g `?]h?8(G4ޗ믡P^%M9D ]ݙ&52j~^a14!vܳJ6]o{γR+OBSS{\TmPOn#1z>XW[|k &-'ps''JXQll19A!TZ?0;H }H(s\*<-5aV!z6V5Fj^ZMߨ,z kLP_:?Х~ oKYR!B DI*a< z/NYvu/{*i;?!sdX],& .װW23[!L|(t/Fbhl  3/8 7H'LHէF,\ܴ~YSP)u Ew@WXk6I=Xq {:u;.< W]qnRE4յM0 Za^V;!sfn˘yo'fϵz]FQmF1ݱ ,gYZ03db9191788ca871f87545107c977ae65775a377 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 239a93137c49243d2828088d900fff1b3b7eb278 358204b158ed33c88ae4c36c3a987ec80fc61c50 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 f8babe7bf2c5735c2bce0cb5876af20982b1b978 fe121be47f872aaa5c07fa25d7f90fd2ce53986eb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 042732838dc4a8f7b026f268d23dfcd6ac269904 5 Rank_Nullity_Theorem