SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /|\ / HOL-Types_To_Sets:threads=2elapsed=1.032cpu=1.672gc=0.000factor=1.627zXZִF! 6]ŗXf1-q恈'+]&e}0mz_V;vfbvaKˡ?nt(j)<L(xX9z=QC_ƠZMNWt@a5)evǟB'~<{Q]^XI[Z / HOL-Types_To_Setsya͠y(}}@J졇s6?zКznDpҠOGF{, DфS1}ؒٶ7Q&J \? e &jx{7DeFrв'݅"vHREBgYZ7zXZִF! e]ŗXi%B\9mSeRCQA_bʉLDk&ERYf#fϴQ0s|%=^X]Svpy)Tt|Ub17-v^Y.m`+F^( "%u \}yT!/Jd.G5L. WvШ̤v+[i!Fl.B3~~n\{v>t,,ɥx+ G&<qzCIf wd[6&qqLy"#S%hu9h4N 8E I<Jj>x- @Qڸ4KA 0 gYZ10c9d15ef573882b97aaeb35a7ae2b5882a48823 329fa7e8f61a08ff01e37f2938689d344ed0f5cf 3d25c66814292285c616395bfb17b2d602aed3b5 797477902c2504b4a2e2a1dc7c289a6d4971d165 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb51d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b