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  ,| ]% Topology:threads=2elapsed=7.511cpu=14.480gc=0.996factor=1.937zXZִF! ]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqURJwQK/\ܟB%S8CΕcK n{_KK@t՘:fǷYM]8gZXdpdyZXBMo@#_MrͶX^áϢI\X@)qOd/b/hIXBS )/=eeE|*?o }U*gYZ7zXZִF! v]ŗXiɟqHhB"U΅/|{2͐v˦^ɡ<7PAIͻ8ft=QbGPtj*vRj~CqOp ^gYZ7zXZִF! 4]ŗXi%>g O>D^(vf*3X\b7$k4;Zd!"H5#~q֓^0 <6j^#\ee:JjTh#G0WbcYJJ2HzhC;?ϐڳB@Tb$ vTӢԖpz>QYѪ2]V"E"6n7QR rSԲݥ=[m_?iQQk\7F˧Y?ayf< /thVh!6X\~]>Ry䶝U[øǜYi6'9o"d&G\ZJ,=SF(N<L ku%HU2:jǙ\䯥v5cr >+2u>"2Ip g E IQ0~om>]YnU)ϕ.6 τrP2-'dX 7Όq"ԲbϷWsV Vv"W 8uzjnc݆VW~츳#M #OßW'-8D~.]fJ]8}0"-h_Ygh15QY} "K{ 11S~WhG&,ψ)GI NwBVV|%cKm`bn ʯo&'O8c`o\:*\o KoBrp`>ӡѪ^1=0=