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 > 4l< ]S IOA-ABP:threads=4elapsed=5.317cpu=11.796gc=0.228factor=2.227zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09ePV !PuVysoFCR 8fQ *l*;{Qk\{CDS]s`G6zndoQ5'1ՃUtP#adϼT!X(UX9ߗִ1~DNrA-s߆T0ru1h3}0znXw"pAmK8:U)ejl5yဩ:zGvTb'Ԣcl/gܲULY`D<.u'O[zc% _f'Zר)cB)TjZxa2Kq c/aygYZ7zXZִF! !!W]ŗXi%B !P`m^f;ڵą֏bvyjE1#Z]Z.1̫Gn$[*hhZCi{26 y! 폣;*Ԑfg((ʃɲIt65jm]ZJ;ðP(𧮅4qÚQ₢ԟOJ<[9(9tVBau6˙ue^Aßce ieZ}~q- ܭoٰ쯜MlR['+cT?`Yf u/m>w%fPw@*'<+gguG(!`s2lq ]frҝbG8(IVXa5WYoNp`Ia8B݃[Y4(wAG4pu958˳X$gũ}@00D[Oy؍lGA0`0WNzf+T!|54N`[x{V.ݮerA8h3S5Kk@.oq*@~yvqr1g}5m5Q"D~/5΋8҆ bri7XK&֑h)+Βjy(J ~Kp|K5|`BoKgYZ142c548bac753f43bb264f81f8eeae3d2f3764d2c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 2511fd22fe17e1fd6b6dbd308e169e5056946464 94bb2dd71ab933de1a6bfc93c40e6acd573532d3   IOA-ABP