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  y y+ T$ ]/ Card_Partitions:threads=2elapsed=7.018cpu=11.688gc=0.188factor=1.677zXZִF! $]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBDy;e{3#b)r RzűXm[__^6xa0YA9 6y iqC5-v쭛V1%FpGFZnah\L])9V=z`Urp /X$a+RC+&$?g_s={B-@:tw1S=U32ʤѝDeg g^("|gYZ7zXZִF! {]ŗXiɟ1˦r!cHkMeBd4cCTY90]bâ]\zdCgS~pG ̄DGvuќaچeO{ڈM8+T^wgYZ7zXZִF! 1?J]ŗXi%W~^e.>fh"#r!05HӺ3 l0ޤA? q3GIH7h{.+hy pCs;6}ćHẸ!P7@ E 2y6 ;7*,L %n2@:!++?2q%az;`#A-[/›/^6TKy#Լ׻%e Phs =QQl(㺒sa7nDnK)|:%zWxc_Us۳![ g "lA=?̫p;5[N/,L_wYJ/,F' +$;*O i%HrWgKGS= $vq-vz)O "A$Im3 Z!vwFZ9y?Q(e\xv`a b(gYZf4fc5757228e9c4dcf1cb3717f566157708a5993d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e + Card_Partitions