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  +$, SS Card_Partitions:threads=2elapsed=5.461cpu=8.196gc=0.100factor=1.507zXZִF! ]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bnZ0!ARYe8V-2peÀ#Z^c:c[zQQIqHN2yFx?Xb`孜?PMZ=o% LgYZ7zXZִF! %<]ŗXi%6TUGA1sn!]ڹ&~csԹʇGUTC^@{"$_%}Xkat}=5nj4'kp"x0D-lẅ́쟊 2¯` 5ǰE UgFMT"^ 7XjQlz #M2=ĶowZ3V8~^ Fr[=p<~ D^z}'gF@ v?{2QʞCro$n?y&&2[mj-7H 6Ĺ"8{Ry MD? '£!} 0 a# zJ&h ajWݰT?qm׵)c}:isl4}Jcϒ@*t.xn\ Nj$Dh]D4uy='ŷ-韅ɏZxdvx4[k*\A>f6&bnh88i:L#QD`T\v_CnGG?v;Zߗw1' çKp_/|CJ4?Υ.(TlIgO4pyp@44*B+6rN@TM]pdL2ыP/6pKS>σgJfgYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 562d636d00a59805c5124949c105325f55960d9c 78ac49fdf85c3de0e4ab96373bea0400a0ec45ef b3a4e52b308c1891fcabfd74c001324d923b0483f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 5ae92c9ceeac8139a751590f6a9bb4fb65e63cce + Card_Partitions