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 77F dL ] ZF-UNITY:threads=6elapsed=6.026cpu=32.492gc=1.324factor=5.397zXZִF! 3]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b G\D.Oyh,}ꨊXAfmH6\Y7ED<xUZ^xIggeՌo5E`~K$rĵj#EBMnH"B3gn ý?_v(⌣ ?W$%y*|-73*j!3_M?\Z lr+-P^l,qJĽc.-֋o,\@o41TNzr!ԕ'u ԲyRKN,Rd@T*KV#oXVg(4gYZ7zXZִF! h]]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4A\n rjHspz!snW8߁"C5L&8bk؉حπ 7 j_a,}A8SHb_jfٖ@U_;.lⱧX|/b 8g=/Y,Ӳ 5 }F^1B2C6;}%3æ7Ux[VP(gj~ F]M9s~qrZg) fNa#U{SKFlFGkPݵ4.^*Ð%/*fϤ!Ԟ HxY4|UOЏ#a@K+ ȯ;wLfΜlOyjE bZn1z7WP1I2! XOQlϽS*( cSQrO6ts㭱y]a~p- x&2xNV= +ERQ[j@%~2)z $ Wm M\CP0 P8Rd#XӅ,[a(Ns[Bq}|KM2X4cXGdbHυF gYZ14526f578335c98702545e184d4067c9537e3ef960a148b45ba9a77d08275bcbed1a4e03ca2f42ac ad51f5d9375a1a0036fca177922c34f686a0dff7 badadaff0e9bf711f480779ae75c9b6f91e6111c   ZF-UNITY