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 A) l4 ] Error_Function:threads=4elapsed=10.452cpu=37.116gc=1.448factor=3.557zXZִF! ]ŗXf[& nTg6 HJQj\{vEEV K^lsFE*Tn:4a Hߔ[]:!{ pvoߑ*@ʏq鐤?ma _2<҉W^>QavFSi⤺z<(fի85 $?v rI(,'P% >(Yva0ۖR UC {*Ep@CBҲq2c;MiXGF)-ɳlLU袧ucpr#i8W:L SGJG oR)jܼS|fkj6vI[Dk6-{#'y¤rV+[ihEF_t왓8sa ~+ZUwpjB08 }Ok >j$*(mwt\J%7A窞X˯,c76h ܫ0(WSOҼP_!I ;K4JS:W^LBalnJz~gh󋙀<]XgXbv?N.Nw˛VÄMp2MIw@IqOH ;s0\Ϛ}.e:e]%fݞ,ȭy `G7]Wou#NNY:9̋`JJ^VXmt O6m^Of?L_t>Mf% A^S-UQ-g.?S߁*= CGbLKZVc dg:dcl=cFg#;m'>c` $+J D`7DWO@]= ߗ3MLZ6lQ]P<ԋA_zw5dmfUmn;\dL/-{>ku #Iws #̱gYZ29ae15ba970179ed41f2d4b676fd6a70eb574d24ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db ) Error_Function