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  c c d ]S IOA-ABP:threads=2elapsed=5.949cpu=10.900gc=0.336factor=1.837zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09sp* poUP<=u_,IE vh񏢖Ѯ!빴rQζvhg, uƁrʭjH:L:K|Y!(SĊĪKywl$E httn&GP$>\H2sL w3(sj, gYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgt](}VCqza]=nu=~Ko021CҮBHk~t]c!~,f vBn8:'xd2| 3{1{!ɺ#kB?fa}A6 |_/CΣҪ4vɲ)eE}m@xED e;ȏw{:1jޜ(}kfgYZ7zXZִF! ]ŗXi%;3?!;p ɑ̃.2RQ#31cw,|@ûQ9-C:BHPY/BlIxX!i{5- n_l P|JҒb ,xĮaiQƮr@kp>m+5h[ڍD[eևȟq=n"!ei/a=G[ktQM.%\B,oA$6% bzt^KDO8H?+ɗ_z׿Xϗus0;"A k&AT86ʛBā0p"(X=h[xLMc0w5nC {CϿ K\`af1re[a}8dr*0,'< BK'}f9>ŵбgYZf85c24c0ef9e2900c66a2e835f5f8a517e32b6c661532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 670ca3b0c6f16e44de7227000c0ef63afe050894 c2982fba00e50d24ade1dee9e4ded00014d00d2d   IOA-ABP