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   l+ \ ] MuchAdoAboutTwo:threads=2elapsed=5.539cpu=8.548gc=0.388factor=1.547zXZִF!  ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>mˡbp'gkS7}<|˰RL%,{]54.Ջ@Z=|A8wsA2 JR *'"8b (3g銱gYZ7zXZִF! SG]ŗXiɟ8|g80L(>7Rʒ VDEKf-8ԒjMcTP}YZ7zXZִF! *(]ŗXi%>gS,w&i;Yp9^·ӮT|!j.Јys@{ػ% .7%?b4|ӕi1< !w+Ɠ?eıĪ~NlE$߂lw|čːiV>;D?4Gd0آ*{iSUd?mo#+xǼ= B^uCQN>, J$Y^O.| ?~[kkc"=~\ En7+Ѳ!%ί V@֟:(DtaeAEށXfҕͬݥ5Ȯ}aZV0(aΤgX9X_;a =>},k}WbZ[cszjaHAt'Ӷ%f=&B[Iawzv-ucZ" fktQU㤿df0p:4I) n"|| "oa_'I( gވNPd)Y: rb[Y/W&xPy{$4 4.ɶ"~h^v>Gs"4pcvV:kM.ìAKEBHc iD)1=hr͛SKZsn` u5>6rBehBXŸs4(ap^auc(͍^ ,丄O«D\iRs!/Q}9Ra(F"k* m@Ys UuWgYZ16ff5902b5ba31a73485b5cbd2947d77df74c0c7767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 + MuchAdoAboutTwo