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 gK TL ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=9.466cpu=17.152gc=0.460factor=1.817zXZִF! ?]ŗXf1-/6vR[NDZ1* )# rof [iX7C p$+g_]v6.)FnԶdBh OV-5 ׷I[_QmL[ 6y*9ag]6A$ e0(R@ s5Cq5Q{$I[M^ښqۑ/|$OKmI`=WɊ;Xh{_z&۵,Z,v)ۮÉB{"uݙ;gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!pQ^6B89b]+& @1Md<1J0Fj૔hu(&21S$nM unF R;pkDJj{bdaYMfE?ߴ0HY'yWVb3yL~$1+_AVݞϙKߏ%fD`mM% 6̯^8@(:RUdέEtYRGEeRR$BFڂk(`TLkw p\j ֮7u OW;BiQAX<ƃs),XwEBtv֫$9tvt%vUIm>vſ3r徆g^A 6l}p{HhdKGlv|+l*,/Z52jNtn-J0E`bS0 %]ِ `R5&'.a[iGq]o"3({>{A ޏ<$ww$!Q}>g3`xG861fJvRj sr쒸 + IWQkUt>LHqrr kq+&Z,w.}wbM3k1j NM=)Lx (yuIZ5S5^dR티_|_jU5pC{gc^/C'ߎR< !| z8у݅hR`#!32gH 7.v&ӿ1ܩK Ʀɯqܼt[(~yŒrgYZ15a47691bf4f30a453a447d30570aad3c5e56c6a02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 08e409d96f50edbf320c0d71d4e959d75bc61bf2 efe843f87b2a4acc1e3ccacb0807dee27ee72e57 "K Random_Graph_Subgraph_Threshold