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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A A <'dDt ] HOL-Cardinals:threads=2elapsed=19.984cpu=36.404gc=1.460factor=1.827zXZ ִF ! d*] ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(.&Պ|8,d4荶2|=Ruzn$.,Ee=TPw^rtjbCTU"?JeZB*;^[sEݠP#?2RPE==ڬ9Bq_1=Y/Jo#p,PQRk&ѝdoB@QaBJxܽLɽR +ef5l/&*t?q oFj t'G!:J;7 9C:EWqRUD}w`{Xhw
Ⱦ/H[I*t[6?iF&^gi8EViwN`ı2B"hm
9,+If68 ̛U?2 $ Ё/g YZ7zXZ ִF ! ;] ŗXiɟ1?ߟ t;9BP2CZz眭5
zJPcY8Ih١"uBs[,oݎLhzo ^U*Xd2xR4
@tD$>5K11O$"bs}
S_hgCցbpGgK*2Y1yL-⍃Vfk?%>i9OQP 4.* 0J` %g YZ7zXZ ִF ! v#] ŗXi%;WoJj(>=GnˋE6+5ֺi{\Q?,q\flFQuǃD|҆z~r$|G
dhxp߅90ɛil aEe4~'tscnF»tE }@rCZGiBijƾhu.ߏD"/xoO8ύPBd KIc1#N;guvtbz;dP)5aA%6eOG[|y_ wLe\lVz6Eے- &j^#xVgޙ&otͺA~nоb^5^Q7X2f?So$8yevUidMP@X[laM1y%ŪBӁѩ
~`ۙ|مp+7+`