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 %%P)L| S Card_Multisets:threads=2elapsed=1.529cpu=2.668gc=0.000factor=1.757zXZִF! ]ŗXf1-/6vRZy_Ĭmu uS@!bDO,V*TVEmsDvJ_u٭sqW', mR/ I%iK%s*Ƒg sQq>"k`E˃ۙzֶ{QSEΚ"<jvF=2p5r,y`@z_q& 5]$gYZ7zXZִF! G]ŗXi%VkyM@\sb!j5Mn顇 s&D#[Wd |_D}"?+tTsah3Rk<lfk@K M&U.P@FǞueJdi'{ZyD'Ж_1a@۫k'ɟ~'6ѕgy>sBhWR90n⑔eV{-p/\Lz9ZQ%wrGWqC2e?c:Q. kYHM%3qG̑IS-l0ȚF/kS,}%(Gg2{A^SN=UO&M#MJw$m *dcIb`cظk /5V6*5T/ItAUWS!p'Z-x0aҭW+z~Ȼ>~ 18KD"fV-/ n炭bUڝ6 0s䤒0eeA nީ`x%;--j$