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 ,' T|, ] ConcurrentIMP:threads=4elapsed=20.502cpu=47.276gc=2.272factor=2.317zXZִF! a]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#ǦB:M 0XM X "a>8jpR`EVmЯ9Yh=-!xN[+A%{U*2 •ᗗ7(߻NQA`-ًfE6]լ Yy;ت/K8e% ZդPIV+3(h#ZihB Iڞ@o@za[YrpRb浫ㄵ' J6BiHxI]P t g=NWTGZJԬX^!.=-oʷcQF#}S:]'=3-ѵP!q6ӭsaxl(yq ٯ0JrJ$ErXtf0QFͺj?_P1s,8c|W!;^5#'g:U%leǝIk f,-5E4.=ډq'=]7=~%Q$9^`R&=$X-?,podCX0Β dAۅ l*Jޏ*y>^=֠]sfrGO^6&ye4*m) V_b4JڰqW2/S$'$)9]PƢG%5 `j&0cvx[KcoUܤ)׺/{zv'tn5~ʞʩDDKtH4碟 [.wWى|*6)tQоjQrjXާC/d`)Q$=Ǜ4fb#\BfDOu8tqo'wv 23W6:\Xiăݔ ~c'8ll\'4/tԀ+xǰrq}!9B @s,4װ LNRز_ _tpΪYp_u_4ѐ/l/9ְj #[08H^㤥Bc}ZW'C NжFLJ9zӭS jxۺ g2UPH:4a\oB:Zj}0ؐW y_7cJٙ^ꎺDȧ@ NNGЗ6U~[J׈GN-V,:=7pBU2SYj$ؾU' U<My|c9>Dɩ##}]?:[;PפײB=7sW $?9ۃ)]DQ2NكIjhr[hSIϓAwP>7RZރ6 Hsjq𕍖|3?2c9jrK xޔ#OVſT#0h7Q4H.vGT"UɩLS5J(4M&m.6+FY% xt]3LHrwfjܞ #clۜᐪ[z!t̗g&ͳaQ7\?&hgvt$!Ơy҆0E1 )=,T!kEoO5$ -5ޮ"ɋWi 8W?r퇶ZlLDc$|'1_ Y#wϴTf+g ~