SQLite format 3@ .;  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 ""[ , ]% RSAPSS:threads=4elapsed=14.184cpu=46.100gc=1.648factor=3.257zXZִF! ]ŗXf[&$'ٙ]Z}_8K&,WrCD6\C77S \X[ BSI!@-epWϝbۭ2t<{26 JOCbuR% X%ptnhѯ$y9W7vsA_rc$OeJmM\VS):ƒ"g έ%HfҾc(RX7+:ݹj>!˙X5ώB1@M{4u@^_6}XSVC"wPF( P7Z9+ߒq (~.~`{\k$q8}+x!Q=;Kو̰nigZk$ȏZq*sn7lg2-RI uZZY/O".O+F8gYZ7zXZִF! 3]ŗXiɟG@~W/o&5nYkV7ʜ$!T"@^F/w5U(3`E{QAHE Jtu PPƚ\ԗd蚩vN1ƴ9'I4O|YtѬ&X_y6^͉ü6}ɰc֪v+̦T'+/gZl)/bWk{Bٌ6mP@l+UX&IeagYZ7zXZִF! gG]ŗXi%I/,.Ff:)gԴKb칙Ze<SN[j?> i;07wҒefVk]xLTUᓍ+>-zj{ݍR)cϧOnÏhҰVJ jxKiI'c2:x6U㕒wQ Z*y73{4ބ28i*iXq4݁_:fN})̴dfmK9  y7,DuT QWK-Z{b.>.KAx v-i ;dEylC ꥈ歛k5jJuӄɬh#ʑ9ޅslK|xIxJ.֣VҖmKs:8D|(|C|\Wӽ~2zҝT/?z PAaץu((: [)PߚEg/߀ |slY NSAs:|ՠb