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 k7 t$ ]]Abstract_Completeness:threads=2elapsed=8.456cpu=13.984gc=0.808factor=1.657zXZִF! r]ŗXf[&rԿѝ\†`sژ^lPS\>qfb5xٛz"KH:cٙ14eܸC4rYFMcgb:A>U%'X?-*fabͲZK M{~J*ד5#mcYuUJF3IgZ zJ 9`*܏gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, Bs1O)Bv$!S-%N uBp]C& ^Eί?zVx_LIB+T#0\Ѷ]z,#"=ӀPvM[T&yMݝȻUD0+dBŃU:> zbTA4xgYZ7zXZִF! 7%]ŗXi%>gCe#c=V~-_ B3@d*xAȳ ʱ$Ш6~~wQY3N?hm h_H~k1=HPmC~8؞$ܳݮdn'rkaWK_}ҊԠq7O:aS5mò&%?~(X %cz0$hc}쒰:֭u)yH""QF+nPgWVU7"b?k[à=UQ&pԶE)jž:4J2 Rn#]VSٌX2{h^q /T=Y!Rh 5ݸt(-KW z{/^XHB.#fztF̰E4gg%7Pwq&ZJJs9Gjn\MǢ(ߒ)&Pb4ÌR^c Q[\(\/NE?t(΄}["eHݦ!i+rrDqqh@E%Ɛdqdfqredy%oF8D7B5+!8rpIRckDI]7َ/0u녹M2rNޠuM89ZxU&fnK]U=M18DY`GUjٛ)N4G#ՓQlbx740һI$z7zqq'r2#`~ڄK+4'8#Ÿ3c,Z ăC(OOMA!'D=)6SS/R:a| T 9,NeqN߅)?j>_ xz֐ϱWUu8//8kƽ`%TzL(# U~QB(PqtYn1+gYZ29125c7cc2087c45818c345e1713756f7bad8d030779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73feb8e628e25c97e55f553c65b221e8f290e5755a 7 Abstract_Completeness