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 ^ <$ ] ZF-UNITY:threads=4elapsed=8.031cpu=28.984gc=1.176factor=3.617zXZִF! @]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/! ߅WmNpfDeyN+8{ЁR `+^e҉wr.Z}j?5(4d+jk 31]FNHo1pr%[[jUDQkHXـd)z0' ^h@kU>ӱG$>"x:fNBx4F @$NBOKqToWs^A&~^f=&& շ.hb-ԕCׁM"\$>8WVny-֎QB BlZq u]vE1#RH,{kA09}ţ@O"2U2ThA+7"Wmrδ@y$i[x6M^E< BГי4Dk?|+t<}(.dOv ms-4ufJ@p#%󰽸d_gYZ7zXZִF! hV]ŗXiɟ9 i:4V;}A<<ګMP769Z d"-~ͣ%3˿.gQ'2gI -'isMLP޸eLBԮ/4!!ĮuT+'K2Mנ:ufv}b7-`ot8o{>lQ^?~,wˀ:2 4Bk)0H6E1g剀B!WN9=dAeH`Vjۣq Avȿ!2jt[k.Zi~}Yx+W<#טn 7Lr]=)w */s,gzD6]G;-2ǩW2G_|_]*JޖM2ե"BߕLK~+*||.>^`i@W&YAT9f*n-ŐTU.$,dpmw-X+`4 ^ѰgYZ16d231c0cf503dc98b63363c4ebe16644accd4c613f786b8f4762c1203e3da5c15d634b6876ecf36 882187ece662c1aa63a0ed6b4a12be82ae2fb6a1 07c9abbcf46811932b54453bad2f0daf6f3c4173   ZF-UNITY