SQLite format 3@ . BBh77otableisabelle_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 N \\ ] ZF-UNITY:threads=6elapsed=5.140cpu=25.592gc=0.848factor=4.987zXZִF! b%]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb5ׅAf OcK]P> rUb>3``|V؇Ԫ .>|Kձ:*BN:/XHvZp|QC:щ{ >}O|X`v2ry#*IC" {RrwJd DZ'HCxviVr!63+942ٟp=dbRJe&Yq4( &~s` r/4 m[;y =gYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7j9t2&Ume5m:K M迎[Z` ۲ȅy,Дvϱ {*CZs)᧴0ufIG\@kv"Ry]]8@KS{X gdrfdB™h== +ky dM>s^)YҤ(v"s3m̝W SB.)),{Ll:>-B# Y rYSu50;y6-MTW'㵑.1w 䍞d:$C]wuHAkOJ C1gYZ7zXZִF! ]ŗXi%;Iyk?5@ 6IQW9vI@J~7AC|e_>xHfF1@ Hׇ5X!iK'0Kʧ3oL3\-ր*hؕM١!r֎o 3)I,VUBAjTt t;}Χ5Wwr/{=&r9tCyX?H5N¼xіLKC45(uO:^1fbXw;&Va&ɴMICD9h-Ls\KVf]7͡IiuhZׅ̯Hy$ON|ITxp?̥GUrHhH.fP ?J{&}TZd rv|.T9ǚPnU'P -jy!2( IkE ﳠĨgo.fOF#]-}HYhkƁ@Xjv=>iMmX~aFJnN{V$f)R w%^|zPI'cl1luK[u;? :5qLk_4Mz"p_LE u1TccJrԗia