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 77FK DT, ]I Random_Graph_Subgraph_Threshold:threads=2elapsed=13.837cpu=20.100gc=0.624factor=1.457zXZִF! Z]ŗXf1-/6vR[NDZ1* )# rof [iX7C 4Jжv!K8/q.:)757I3#C}3;ioI-ڻhCWc;cI_=IؔgW T/C[۰T3pL;I7QbQO%@)3,D-j ḟ~"m*r{\HFhLv>wxN;-"H[Yإ *5l಼ )Vx`\ŞDid,(RjMB?8#*P-j|wYQ]܊ʞQG#<ԸFg[{ĿZnLv"gfԵ\)h` ,ኳXozjU%5Eź/SG?ZkE g˂7wȄ*8K8Fx`"gYZ6d0e7f1024108ab6782d23c44a9f887cb1b82788e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 f5a019d9692dbeaed65ec90467093f77d7bef3d8 e9628ec24ba6f064543c50c852927735f313362e "K Random_Graph_Subgraph_Threshold