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 SS*5 4Td ] Rank_Nullity_Theorem:threads=2elapsed=8.389cpu=13.760gc=0.604factor=1.647zXZִF! S]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y̜) "ul""@\K g&~g:%0dNL7C>*`wcrb k3b,/w񧲮˂C"2蚸u=*˘ov{I@b#lbY1, u݅{j'/e h5tʙ=ͩӑ'3ye+!ʷ$eSo@H_8n3a,W53ig=X%3\l" :gYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7##BFM}o:dVV!)p}ni'[  >sWlƐerXjCokRRII}QPL/VDyC&V#߽,ͰVFf(CK( X}1cG~ >.iZɉgYZ7zXZִF! 9]ŗXi%;N(!*-y8HWzV]uҔJo}m/(|C6CM{K3" !t8 2Thm'#w{?Y#W*.elRFSѷ#p$SZ:6QU-~znOsǏSkﳸw')`Fчtm{P Q֠H;IypВosCOniLM_ gvÉ i9sMsBİ^Nnzs]mv_ 2tv [mT=$b4{3AI`MG/_{X6hJj_O}2ũu^"u͌X2Ҍ okD`AL[d&BWqIi3(cAщ*㝑Ui%X?Ϳ/aQ~L/NbF^?[ܘkL:O[C܀į 89!8TK;m&iR~]zۘB+IbId0lIaCQ'=<; Va9ޒʦN![vlFwW*<07֠r 4