SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 g T< ? Separata:threads=2elapsed=15.507cpu=29.012gc=0.840factor=1.877zXZִF! 2]ŗXf1-q恈NucvAݪ4 c?im+)=3}Fns@raȌ8m"o'-7 NwԳ?cHS}gk< 6SemK*`\H}}S6z]tEdz -WKpr >'Hhԋ6L g׀W%ٸ.z"r$т,ub \xVpE7(6_}_Wimg=T,fFV鎩-To'i;s]R YPE`7m|D'J{-Ԏ&!6: 1mYd'+ۓpse_tɆ/`L;t,_+kѿ^L R5t|%(%)\4pqgYZ7zXZִF! R1]ŗXi%6縮=9^RM&Ig^0{Gv9."aީBH}C[}$qMÆnDuSJLDwZ6?0c`? Y){R9#ne:FH7w6a7&X։AqwE@ב#! 4Lk*:jEo%NG ~L ax1_'P~efd줞=1;7,QA~VwXA)TBw%{Z[0l AsaXQH9e }trrhvPOL9o nMa}JXݻG[]k1S<1QpU(4=gWsKY۟>I J:7p; T^qV !M6BVzV|J.71^4S%G.f օ9( z'eƊۡ]1z|ᣐVəDBy3ϣ;W@nV0(yUQDHufjwxtiwDOBM7-jfn( r[>_3%C]9hDN(aWpmyT9`Ï7%KW}fRC/-k}~=z.Fz߾^&ne6Gg D2ZyX*d gg tUg^{'M 9Xɡ|qp -C-'9m67I>7|M\&Yj3j?۹C\sB+E M};@WfWZ= ^Y*u+ iz1Ų}k6YECY1 x$)j?G4?ԬέҤ;leYhѬ#S㚿:k^{aÕl xgc8RN@l/5R"xe*ٰ}fB?16w&asJ B|Ay`RR9Ѽ$f(d3TfĖ" RLgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 588073e9a94985b106417a9549df8d2952c2dbc0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d9e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2   Separata