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 cc5 ,TL ] Rank_Nullity_Theorem:threads=2elapsed=7.852cpu=13.000gc=0.476factor=1.667zXZִF! N]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ӊОopp"!FX)'ii sĥ].] X5I9~ĞUB/ v!wx)i~Ⱥ=(vd̦^YM.,w1];P&bCjȅIsq8`No4v;$]`'$ESg7mӒrHLa)6J8= >កK%@W p;+<͋>,- 8*-T/JS FpgYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7#Ѳ&}%Bu=psEc'ݶ _I=lXr퀗=j%w99Y`@ͦotUDA#YIX)\3M 8 oUkGwm7t ߿@5 F N*@+y6ɉgYZ7zXZִF! 72]ŗXi%>g'+kuIeyf .E=%N2tŖG+\B|Hvs/Tt@; s]> \"Ѩa{heXJJU>=SfqBl%&!bPP ZRv9 ;՘SK̺ 9}PP-t^ؤ(f⥫I%աhw=9=o@.2:ҢNxH hDRr]#͏p E=xdZZPCGBgV37yp€EM${uYItHs| ޢ' }ٴ'%qeIMQL `A\ݝzsYt Wię0 FГ l'd6bΐcAYKmbN|Uq:||Uol2Wy(*xnB9! maŶdA 3a8E,ƺgXu :/>XlW$<JwZFh:ph}))spm;as i'|pR~2մݘ:%_AoyT+騨g3xv_?GUMPQ}+y1/jqL5m3q.Lֻᄑ riܵδ%tդD1J솛mZe['fz1R wm4PQQ %rP`J%]7lu-;ץ