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 pp  L ] IOA:threads=6elapsed=7.202cpu=31.640gc=1.304factor=4.397zXZִF! p]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO5*8hFwcg_V>lgUR,(@<`qXaڴk -o n?xg32E/;j3 Bzhjxpomp-Rpja5bi/KgEaύ 3F{NGjJ`ĉ):rnQ^AΌ;IHн_TQyć3D؃<(I.{6Ϸ TaeRQ!bZ.õ$GKO fM(:M#"c]HL6QѮOL<٘Ck ԟ+xk0 *A @P ~Ɩ޿TXmGfgD/9_..#:)G]xYl/o2!"'4 kk8\ta&(rGJud\8hg TX2P@/ai: gYZ7zXZִF! #<]ŗXi%@j&Ǚ֬]h5Fx6jW_U{f]D0"5ߞ/d鰰(,J4H?S+eB894 Mռ%j tn8*RɩEg\}KƷQa3ML6IbA9K ;=2 ' IwL/jwt 6X}7V͐#o "o\x\B]-'{ ̨>`hDht6t3Ԕcb%c ,b8ܯ +_{:!RC{DaЉ ̎ڟ%u=[PڂyZ4]^qۏУ2Synx+cִQ}*\F&/ a§)ŵPީtXv9V\hMgF;C+f¢Mk#[Q2d^"}FRcZTXwᱏ. H_/N{޳T Tumc%QgTӚf-]N]f5aeYUI~ځM 5!I;308^EU y1lep蚌a5t+)63,>o<\XXm1SywJ2o)BAJ5-]Cgcd]I"vvML++F3R 3¼.Cz-.gM-Ul 1qп,33->^edr94fy#,[gUZı5><,Pr-~ G2AgYZdb942ea9fdad515ac0d632c38ebb0e3dbc16260290a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3 d52b8b1923d8724a29985dc1bf81b4a6465d872c 582c69cede3f82bb5bee0300fc809c5ae405a7c6  IOA