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 eC L$ ]I Comparison_Sort_Lower_Bound:threads=2elapsed=7.521cpu=12.628gc=0.352factor=1.687zXZִF! ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀2ɢQڰaDRtvX x]F}/ )#萉lp$Vg! p,5ŋ'@Ln*fDvu_ y OȽ7j& U!@@c` ϓ>cP$qXLE۹ 1wcR(KŞ݌^캻1E9?$$@J'N;?Ե+ĚQql0grcImɐI`t4SN{9gYZ7zXZִF! .E]ŗXi%6 |v9&z5{4x~!M-(>i u˔R[Jď3v$$\]!A:bu ON2,[nM~GҨFKN2$e&F DRU^/%=& ߒHwfXy| ey΂&0H%!QD*uu <8vה*ekºs-DQteQ7҄{eo&qg<U ZCL> 7 YloEw {79'h|dIN S[n?_H4 ̸kr>%Tse- :N֢E3w#N"73e'ty_6czTq#53v s144wmxV8>ļx_Gi~2( hzK']Ƽ/QƖF'N@FտSV/|*dPrcq39ot+ o bjc;ov;}KwRkis!tXd͋7wZ1'/tJa" ?߽8ҕQ@?GXYr#w׶ [2v]L9om5_rm1tV BB++t( E6 F]ICѯgn+#gzX$v!;x<6lH g< dD-kb ^&dSGݒE]LgYZ04db769a007eff982cd89ce862c2d511b6d8dc9fe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 1724191cb1b50b504e192d286f7c8f40cf2ed558 e14308438e5216078448e2f6900cc1c690cf0195 C Comparison_Sort_Lower_Bound