SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  - TT ]S]Relation_Algebra:threads=4elapsed=16.894cpu=53.816gc=2.060factor=3.197zXZִF! "]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U G5tc{4'HGDŽTr!ʔwe#HsM6mhŦl>IrSq<#cI91J|xO&; -?_X\e4@*_0ĖSa4m]o5nL].wI|\`fNjBJKI0fO]v% S6r+_Xo)ݣ:ry:5:{G&ɳ;T̤א;a+XA`*NItG»K޾L2~2)PV_k:zAHtBDj+#e ?эw6$@?M,ۚ(+I^?>9Pta+ӝ2DLj0EfmZʮ& C;ppAT|z9U'j,'  h/KG qy\z&X!hU L_ޛٌ;0(1^d0P6An㮏'N{ Yo]egqX1Ʈ?)ǫ9Tt6pN;8I8o<~mT~kOqIG)g6crnwazDžTRtKJEAMukTl-d#ÇTвX$Dk$Y:< rs4>NI?ygYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%քTOS8!OLX;y z4O4w}m D]V1<ȁ9 eQC *]y9ٟT_aΌ;A%o RYD`Bwͼi6I :5( ~k)ؓI\0gYZ7zXZִF! o]ŗXi%Eb⬞j9W`Ad Ƹ=Lt#^SVlΛ!,Q|IMImn_8/1h,IdWי)X:̂GĬ8?&n :sr|L&K&J@ST >|^R:y.r|L/Fh j܁!,NEh?c&d"{Ly=WW1rh 8Te9hy@A5Eo1=Jpx5%PtҖ"/E5gW{> fUgYZ6f23baba3924f6963f76ceaad21e11d5808f07c787d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc b2166a7efca2236ae26fc56c535f5cff52f93ff6fbf44f114b8444a6e0f43f2fafbf74ddc7a35966 - Relation_Algebra