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 NN/' |d$ ] HOL-Cardinals:threads=6elapsed=7.373cpu=41.012gc=1.704factor=5.567zXZִF! /6]ŗXf1-q恈<-¡$johkX2I)']8PIz@nN"'(s(Aw$o`]1V=7'>^I1+'{#ovvCQF6ҧCG:y ,t*sQk7rt*om)&{,BȤtkD<[g="OPE[gM?k1 S20oM 3*(LA=(^y&_S6}C/pco!4PN 0` D̙a+bfڎVuBOqt#GlB^YzuWWFWLޫ'y2/+1u]j3HY쎸*%zBG%^O"0sf( o*8CWMYɦ7Ksq!*);=_)};~cdCmhNR;peFx29+w 7iX&AcP58&HgYZ7zXZִF! ;*]ŗXiɟ1?ߟt;9BP2CZz眭5 zXzρʚOJG Š2w9v6AڦwMP%V0 ;{!S](9OXR]-ZD)nxEcnuz/=!/b92ۏ:h|.^(pP*8SӉOmb{U=0_M|Uʟ?wy1Yc4D.^*g 9iejiFo#LBP(eSsri~|3G| ړ'gYZ7zXZִF! $]ŗXi%@j-;ۭj2]`uUKTq"/V͹I5fVxhSi 4*؋"ș]Sk֪/>܄R?5C+}2@,N0$'N4Y.b7KA @߾kÈAä}3{Yqmd#sҩЎ*XA(Q Z h: WQk vu v s}ZK3{]d8!wD<V2gHLmgYZ5c9c6d7952ea799c6fc380b1f7c4e201b0078c0b90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3 d52b8b1923d8724a29985dc1bf81b4a6465d872c a1d7837c89d3f21bed91c445948096c2fde15c1b ' HOL-Cardinals