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 QQ,' 4tT ] ConcurrentIMP:threads=4elapsed=19.332cpu=43.644gc=1.760factor=2.267zXZִF! HQ]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#ǦbO<8b=CrU'oзtFm%9Yx~~pe2xA'2rSeLȫawĤY:}kLJ2p &ovUҮCrPFq jfC46 i%;RH׆r),1Do-,d<W՜4)a*60pm@OA,]@p$+]u_#* Ғ,Ɩ2s!X!^;!:<<]m?;1)I~*wTJQ>LB-Ab@*s'r e&T8SYo`8~ 3^alנR39k@%;>ZD@}ͫ2b邁7}/h~Q'*ܟDaa_fMVN|ےڝ+֋}RD\1)G>UJ?xV\^ ,jA~&~M h"$5gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wH*Z 8NBTCڕJ]?^R𼎨QyQt{\KV]4~&0v/4/o{h7^u.T*a-:Ǣ\PT?v8`"OwIn~Ο3!r[7^[N1x$b\̪Fz*&sAh=DwtWaϘΘEݢpbŏ"J:F!G0EýRA z,'0<?:>a(JHO:H@s{TGo?jj<:UDvP@^@ckHWè~t9m 6fh. HyӍQu SlPl-Pgj?Cfp /+CnLйEO7Yy.d۞NDR$75b!?^HWZ{-$a\+6آwR_cFZdbJ/dH҇Pu$W?pS+-A%fqT|5nr|*&0ǡ~yK ;rى{,(]nFSOߊ\ yfh:ڽc_^-}*s2-2%GGCgJ.VG~YZԪ 0ћ#W Qr9"ˌFNצp`Vi{a2&FO6ڮIIn wOߊ7GOv/Ʋtl9l\FDlL7 YPPr4l#.E6B'>N~BfrN]vW>VQy6O w>gns3Z(Jg ї`ȓ ,ǧI+ Cg@j%6LPf7OK6<7R)O/^‹XXwD'ªV1vx?*qc%-H\%)28J4ǐ=#Tre[[~;{,XM콌{E: 55tf V7=mkHuَI'VHo1DrLথ-FPUAk> 2Q%|jUAn?F$gOz