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 a $ L ] IOA:threads=6elapsed=7.631cpu=32.860gc=1.388factor=4.317zXZִF!  ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/ϔ5;ɽA"d oOv rbkƒح(RU-)V7XGXNۉF~?y_,@ 8\[gYZ7zXZִF! &]ŗXi%>pnBZ@D%EEaf䜑U3aֵWԟ\PFZ I4anYGE ~;kYbpI4a^ۑwtL[ܼUTgxY !Й鴲Xku՞6'~N٢_E2k/5,1aLkh_1+xdD0H =*g2;(dTTG]? /)/#.w~Pi[>Ao ( m>FmQ :k &O`e[aCԛ`)Je!.vga?Yذ#HWf3abI ks[^f|p6);j3QXfvf1KI 4WA=m{ /dDQ+`e7EH(`#.Y#:]'a1ԍG*_v7@%јIOHH`&׫줂^5hˊ;=^L'7&'EωS`t+tjꁯ?%Y&dp酥$((M^EIi#{I鐈sB(mo̲q<!o;J:9ʻ%I{W-\("OTkYIK}WzNƮ,Yֱ5XFS~;.Cj89ǁv7[7JujW^;Rut;Vd kx蜩;A 9nǵ1+v$b`re"k^GZw8M]gYZ176bbcd4817f616beab4457207e303c6eac67533dd3df6fd1fc63d31a2930446f6245215ba2d6c82 67f7986e25a1516c3b4689ee73dd4dab4fe8bea3 76ec828445038372394f2a96106d1add12a4b34c  IOA